Folgen
Philip Wadler
Philip Wadler
Bestätigte E-Mail-Adresse bei inf.ed.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
14731992
Comprehending monads
P Wadler
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 61-78, 1990
14091990
Featherweight Java: a minimal core calculus for Java and GJ
A Igarashi, BC Pierce, P Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001
12472001
How to make ad-hoc polymorphism less ad hoc
P Wadler, S Blott
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
12301989
Deforestation: Transforming programs to eliminate trees
P Wadler
European Symposium on Programming, 344-358, 1988
11851988
Theorems for free!
P Wadler
Proceedings of the fourth international conference on Functional programming …, 1989
11811989
The essence of functional programming
P Wadler
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
11691992
Monads for functional programming
P Wadler
Advanced Functional Programming: First International Spring School on …, 1995
10191995
Linear types can change the world!
P Wadler
Programming concepts and methods 3 (4), 5, 1990
8571990
Imperative functional programming
SL Peyton Jones, P Wadler
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
8041993
Making the future safe for the past: Adding genericity to the Java programming language
G Bracha, M Odersky, D Stoutamire, P Wadler
Acm sigplan notices 33 (10), 183-200, 1998
8011998
Pizza into Java: Translating theory into practice
M Odersky, P Wadler
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
6861997
A history of Haskell: being lazy with class
P Hudak, J Hughes, S Peyton Jones, P Wadler
Proceedings of the third ACM SIGPLAN conference on History of programming …, 2007
5132007
A call-by-need lambda calculus
ZM Ariola, J Maraist, M Odersky, M Felleisen, P Wadler
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
5091995
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi, B Pierce, P Wadler
ACM SIGPLAN Notices 34 (10), 132-146, 1999
4991999
Links: Web programming without tiers
E Cooper, S Lindley, P Wadler, J Yallop
International Symposium on Formal Methods for Components and Objects, 266-296, 2006
4952006
Propositions as sessions
P Wadler
ACM SIGPLAN Notices 47 (9), 273-286, 2012
4452012
How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
P Wadler
Conference on Functional Programming Languages and Computer Architecture …, 1985
3841985
Views: A way for pattern matching to cohabit with data abstraction
P Wadler
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987
3811987
Type classes in Haskell
CV Hall, K Hammond, SL Peyton Jones, PL Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 109-138, 1996
3671996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20