Edinburgh Research Archive: Browsing ERA

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 5 to 9 of 9

Issue Date	Title	Author(s)	Supervisor(s)
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 5 to 9 of 9