5415 search results - page 33 / 1083 » The Implementation of Functional Programming Languages |
PLDI
1998
ACM
15 years 1 months ago
1998
ACM
79
Voted
ASPLOS
1994
ACM
15 years 1 months ago
1994
ACM
104
Voted
ICFP
2012
ACM
13 years 2 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
103
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...