Papers related to No-longer-foreign: Teaching an ML compiler to speak C “natively”
- Phantom types and subtyping [fluet:jfp:2006]
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
Pages 36-52
2001
Note(s): foreign function interface, phantom types