5415 search results - page 199 / 1083 » The Implementation of Functional Programming Languages |
TOPLAS
2008
14 years 11 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
109
click to vote
ENTCS
2006
15 years 1 months ago
2006
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
131
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...