5415 search results - page 33 / 1083 » The Implementation of Functional Programming Languages |
88
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
122
Voted
ASPLOS
1994
ACM
15 years 6 months ago
1994
ACM
151
Voted
ICFP
2012
ACM
13 years 5 months 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...
144
Voted
ICFP
2005
ACM
16 years 2 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...