No-longer-foreign: Teaching an ML compiler to speak C "natively"

Matthias Blume
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Electronic Notes in Theoretical Computer Science 59(1)
Pages 36-52
2001
Note(s): foreign function interface, phantom types