A safe interface to sockets

John H Reppy
[Google Scholar] [DBLP] [Citeseer]

Technical memorandum, AT\&T Bell Laboratories
1996
Note(s): phantom types, foreign function interface