4757 search results - page 28 / 952 » Monads for Functional Programming |
132
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
220
Voted
Book
A great book about the Implementation of Functional Programming Languages.
86
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
139
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...