Foreign function interface

[Google Scholar] [Wikipedia]

Notes: phantom types
Papers: chakravarty:haskffi:2003, jones:hw:1997, finne:icfp:1999

todo

No-longer-foreign: Teaching an ML compiler to speak C "natively" [blume:babel:2001]
The Haskell 98 foreign function interface 1.0: An addendum to the Haskell 98 report [chakravarty:haskffi:2003]
Calling hell from heaven and heaven from hell [finne:icfp:1999]
Phantom types and subtyping [fluet:jfp:2006]
Checking type safety of foreign function calls [furr:pldi:2005]
Green Card: a foreign-language interface for Haskell [jones:hw:1997]
Malloc pointers and stable pointers: Improving Haskell's foreign language interface [reid:gfpw:1994]
A safe interface to sockets [reppy:att:1996]