Functional Pearl: Formatting: a class act
Armed with singleton types, multiple-parameter type classes, and functional dependencies we reconsider a problem raised and solved by Danvy in a previous pearl. The challenge is to implement a variant of C's printf function in a statically typed language.
| Autore principale: | |
|---|---|
| Natura: | Journal article |
| Pubblicazione: |
2003
|
| _version_ | 1826273699134701568 |
|---|---|
| author | Hinze, R |
| author_facet | Hinze, R |
| author_sort | Hinze, R |
| collection | OXFORD |
| description | Armed with singleton types, multiple-parameter type classes, and functional dependencies we reconsider a problem raised and solved by Danvy in a previous pearl. The challenge is to implement a variant of C's printf function in a statically typed language. |
| first_indexed | 2024-03-06T22:32:11Z |
| format | Journal article |
| id | oxford-uuid:58a447cf-adf8-4533-9f23-031548f86cdf |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:32:11Z |
| publishDate | 2003 |
| record_format | dspace |
| spelling | oxford-uuid:58a447cf-adf8-4533-9f23-031548f86cdf2022-03-26T17:04:53ZFunctional Pearl: Formatting: a class actJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:58a447cf-adf8-4533-9f23-031548f86cdfDepartment of Computer Science2003Hinze, RArmed with singleton types, multiple-parameter type classes, and functional dependencies we reconsider a problem raised and solved by Danvy in a previous pearl. The challenge is to implement a variant of C's printf function in a statically typed language. |
| spellingShingle | Hinze, R Functional Pearl: Formatting: a class act |
| title | Functional Pearl: Formatting: a class act |
| title_full | Functional Pearl: Formatting: a class act |
| title_fullStr | Functional Pearl: Formatting: a class act |
| title_full_unstemmed | Functional Pearl: Formatting: a class act |
| title_short | Functional Pearl: Formatting: a class act |
| title_sort | functional pearl formatting a class act |
| work_keys_str_mv | AT hinzer functionalpearlformattingaclassact |