First Page | Document Content | |
---|---|---|
Date: 2010-09-08 21:47:44Ann Wigmore Plotkin Human behavior | [removed]Press Release For Immediate Release Michele JarveyAdd to Reading ListSource URL: www.annwigmore.orgDownload Document from Source WebsiteFile Size: 25,99 KBShare Document on Facebook |
Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types forDocID: 1tIHc - View Document | |
An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex SimpsonDocID: 1tCPw - View Document | |
VA C C I N E S INVITED ARTICLE Stanley A. Plotkin, Section EditorDocID: 1s6tU - View Document | |
University of New Mexico SCHOOL OF ENGINEERING Raymond E. Plotkin Scholarship $1,000DocID: 1s2Wt - View Document | |
Advancing the Legacy of the Foothill-De Anza Community College District Educational Master PlanDocID: 1pFFG - View Document |