Wadler, Philip, 1956-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Wadler, Philip
Philip Wadler American computer scientist
VIAF ID: 74166584 (Personal)
Permalink: http://viaf.org/viaf/74166584
Preferred Forms
-
100 0 _
‡a
Philip Wadler
‡c
American computer scientist
-
200 _ |
‡a
Wadler
‡b
Philip
-
100 1 _
‡a
Wadler, Philip
(sparse)
-
100 1 _ ‡a Wadler, Philip
-
100 1 _
‡a
Wadler, Philip
-
100 1 _ ‡a Wadler, Philip
-
100 1 _ ‡a Wadler, Philip ‡d (1956- ).
-
100 1 _
‡a
Wadler, Philip
‡d
1956-
-
100 1 _
‡a
Wadler, Philip
‡d
1956-
-
100 1 _ ‡a Wadler, Philip, ‡d 1956-
-
100 1 _ ‡a Wadler, Philip, ‡d 1956-
-
100 1 _ ‡a Wadler, Philip, ‡d 1956-
-
100 1 0
‡a
Wadler, Philip,
‡d
1956-
-
100 1 _ ‡a Wadler, Philip, ‡d 1956-
-
100 1 _
‡a
Wadler, Philip,
‡d
1956-
-
100 1 _ ‡a Wadler, Philip, ‡d 1956-
-
100 1 _
‡a
Wadler, Philip,
‡d
1956-....
4xx's: Alternate Name Forms (13)
5xx's: Related Names (2)
Works
| Title | Sources |
|---|---|
| Blame for all |
|
| FLOPS 2006 |
|
| Gradual session types |
|
| A history of Haskell |
|
| Introduction to computation : Haskell, logic and automata |
|
| Introduction to functional programming |
|
| Is there a use for linear logic? |
|
| Java generics and collections |
|
| Kansū puroguramingu |
|
| Mise en oeuvre des langages fonctionnels de programmation |
|
| Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings |
|
| Preface |
|
| Propositions as types |
|
| Report on the programming language Haskell |
|
| Theorems for free! |
|
| মুখবন্ধ |
|
| 関数プログラミング |
|
