Publication View

A Type-Safe Embedding of Constraint Handling (2008)

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.120.3928
Source	http://www.comp.nus.edu.sg/~sulzmann/chr/hchr/hchr-tr.ps
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Haskell, Type System, Embedding, Monad
Type	text
Language	English