Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Peyton Jones, S"'
Publikováno v:
International Conference on Functional Programming
Type family applications in Haskell must be fully saturated. This means that all type-level functions haveto be first-order, leading to code that is both messy and longwinded. In this paper we detail an extension toGHC that removes this restriction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1032::10d6248c1d956ce935bf0cbfe8e661d0
http://hdl.handle.net/10044/1/72117
http://hdl.handle.net/10044/1/72117
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Scopus-Elsevier
GUM is a portable, parallel implementation of the Haskell functional language. Despite sustained research interest in parallel functional programming, GUM is one of the first such systems to be made publicly available.GUM is message-based, and portab
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jay, B, Peyton Jones, S
System F is ubiquitous in logic, theorem proving, language meta-theory, compiler intermediate languages, and elsewhere. Along with its type abstractions come type applications, but these often appear redundant. This redundancy is both distracting and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______363::90a1071356771ca2363001c349632696
https://hdl.handle.net/10453/10839
https://hdl.handle.net/10453/10839
Publikováno v:
Mohnen, M.; Koopman, P.W.M. (ed.), The 12th International workshop on the Implementation of Functional Languages, IFL'00, Selected Papers, pp. 194-213
Lecture Notes in Computer Science ; 2011, 194-213. Berlin : Springer
STARTPAGE=194;ENDPAGE=213;TITLE=Lecture Notes in Computer Science ; 2011
Lecture Notes in Computer Science ; 2011, 194-213. Berlin : Springer
STARTPAGE=194;ENDPAGE=213;TITLE=Lecture Notes in Computer Science ; 2011
Contains fulltext : 111100.pdf (author's version ) (Closed access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3e8a9b571b2f2d33e66d6904ee713fa
https://hdl.handle.net/2066/111100
https://hdl.handle.net/2066/111100
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 1988 ACM Conference: LISP & Functional Programming; Jul1988, p244-258, 15p