Reference : A constraint system for a SML type error slicer
Reports : External report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22673
A constraint system for a SML type error slicer
English
Rahli, Vincent mailto [Heriot-Watt Universtiy > School of Mathematical and Computer Sciences]
Wells, J. B. [> >]
Kamareddine, Fairouz [> >]
2010
Heriot-Watt University, MACS, ULTRA group
HW-MACS-TR-0079
http://hdl.handle.net/10993/22673
http://www.macs.hw.ac.uk/cs/techreps/doc0079.html

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
HW-MACS-TR-0079.pdfAuthor preprint547.24 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.