Reference : Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22663
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
English
Rahli, Vincent mailto [Cornell University > Computer Science Department]
Bickford, Mark [> >]
Anand, Abhishek [> >]
2013
ITP 2013
Yes
ITP 2013
July 2013
http://hdl.handle.net/10993/22663
261--278

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
document.pdfAuthor preprint216.81 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.