Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

The University of Edinburgh crest

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject
	Publication Type

Sign on to:
	Receive email updates
	My ERA authorized users
	Edit Profile


	About DSpace

Edinburgh Research Archive >

Browsing by Author Wadler, Philip

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 3 to 9 of 9

Issue Date	Title	Author(s)	Supervisor(s)
2008	The Essence of Form Abstraction	Cooper, Ezra; Lindley, Sam; Wadler, Philip; Yallop, Jeremy	-
2008	Idioms are oblivious, arrows are meticulous, monads are promiscuous	Lindley, Sam; Wadler, Philip; Yallop, Jeremy	-
2009	Monadic constraint programming	Schrijvers, Tom; Stuckey, Peter; Wadler, Philip	-
2009	Pure subtype systems: a type theory for extensible software	Hutchins, DeLesley	Wadler, Philip
2009	The RPC Calculus	Cooper, Ezra; Wadler, Philip	-
2009	Threesomes, With and Without Blame	Siek, Jeremy; Wadler, Philip	-
2009	Well-Typed Programs Can’t Be Blamed	Wadler, Philip; Findler, Robert Bruce	-

Showing results 3 to 9 of 9

DSpace Software Copyright © 2002-2010 Duraspace - Feedback