Calling hell from heaven and heaven from hell

Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming
ICFP '99
Paris, France
Association for Computing Machinery
New York, NY, USA
Pages 114-125
1999
Note(s): phantom types, foreign function interface