10575 search results - page 407 / 2115 » T2Script Programming Language |
176
Voted
POPL
1990
ACM
15 years 10 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
150
click to vote
POS
1990
Springer
15 years 10 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
164
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
152
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
145
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.