112
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...