5415 search results - page 239 / 1083 » The Implementation of Functional Programming Languages |
139
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
129
click to vote
FUIN
2010
14 years 12 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
FOAL
2007
ACM
15 years 5 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
110
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...