CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

 

Author:

  Philip Wadler

Year:

  -

Theme:

  Computer Science (390981)

1) DEFORESTATION: TRANSFORMING PROGRAMS TO ELIMINATE TREES  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 266 CiteSeer

2) COMPREHENDING MONADS  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 223 CiteSeer

3) IMPERATIVE FUNCTIONAL PROGRAMMING  
By Jones Philip Wadler    Simon L Peyton
Date  June 1993
Refs | Theme tree | Cited by 218 CiteSeer

4) PIZZA INTO JAVA: TRANSLATING THEORY INTO PRACTICE  
By Martin Odersky    Philip Wadler
Date  July 1996
Refs | Theme tree | Cited by 180 CiteSeer

5) HOW TO MAKE AD-HOC POLYMORPHISM LESS AD HOC  
By Philip Wadler    Stephen Blott
Date  July 1997
Refs | Theme tree | Cited by 163 CiteSeer

6) LINEAR TYPES CAN CHANGE THE WORLD!  
By Philip Wadler
Date  May 1993
Refs | Theme tree | Cited by 137 CiteSeer

7) THEOREMS FOR FREE!  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 128 CiteSeer

8) A CALL-BY-NEED LAMBDA CALCULUS  
By John Maraist    Martin Odersky    Matthias Felleisen    Philip Wadler    Zena M. Ariola
Date  November 1995
Refs | Theme tree | Cited by 126 CiteSeer

9) PROJECTIONS FOR STRICTNESS ANALYSIS  
By Philip Wadler    R. J. M. Hughes
Date  November 1995
Refs | Theme tree | Cited by 85 CiteSeer

10) ONCE UPON A TYPE  
By Christian Mossin    David N. Turner    Philip Wadler
Date  August 1995
Refs | Theme tree | Cited by 56 CiteSeer

11) VIEWS: A WAY FOR PATTERN MATCHING TO COHABIT WITH DATA ABSTRACTION  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 52 CiteSeer

12) HOW TO DECLARE AN IMPERATIVE  
By Philip Wadler
Date  November 1997
Refs | Theme tree | Cited by 42 CiteSeer

13) FEATHERWEIGHT JAVA - A MINIMAL CORE CALCULUS FOR JAVA AND GJ  
By Atsushi Igarashi    Benjamin Pierce    Philip Wadler
Date  October 1999
Refs | Theme tree | Cited by 34 CiteSeer

14) A TASTE OF LINEAR LOGIC  
By Philip Wadler
Date  July 1996
Refs | Theme tree | Cited by 33 CiteSeer

15) TYPE CLASSES IN HASKELL  
By Cordelia Hall    Kevin Hammond    Philip Wadler    Simon Peyton Jones
Date  March 1994
Refs | Theme tree | Cited by 31 CiteSeer

16) A STATICALLY SAFE ALTERNATIVE TO VIRTUAL TYPES  
By Kim B. Bruce    Martin Odersky    Philip Wadler
Date  July 2002
Refs | Theme tree | Cited by 31 CiteSeer

17) IMPROVING LIST COMPREHENSION DATABASE QUERIES  
By Phil Trinder    Philip Wadler
Date  September 1995
Refs | Theme tree | Cited by 26 CiteSeer

18) A PRACTICAL SUBTYPING SYSTEM FOR ERLANG  
By Philip Wadler    Simon Marlow
Date  July 1997
Refs | Theme tree | Cited by 25 CiteSeer

19) A SECOND LOOK AT OVERLOADING  
By Martin Odersky    Martin Wehr    Philip Wadler
Date  January 1995
Refs | Theme tree | Cited by 22 CiteSeer

20) A REFLECTION ON CALL-BY-VALUE  
By Amr Sabry    Philip Wadler
Date  September 1997
Refs | Theme tree | Cited by 21 CiteSeer

21) A SYNTAX FOR LINEAR LOGIC  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 20 CiteSeer

22) COMBINING MONADS  
By David J. King    Philip Wadler
Date  March 1993
Refs | Theme tree | Cited by 18 CiteSeer

23) THERE'S NO SUBSTITUTE FOR LINEAR LOGIC  
By Philip Wadler
Date  May 1993
Refs | Theme tree | Cited by 17 CiteSeer

24) AVOIDING UNNECESSARY UPDATES  
By Andy Gill    John Hughes    John Launchbury    Philip Wadler    Simon Marlow    Simon Peyton Jones
Date  March 1995
Refs | Theme tree | Cited by 16 CiteSeer

25) STRICTNESS ANALYSIS AIDS TIME ANALYSIS  
By Philip Wadler
Date  November 1995
Refs | Theme tree | Cited by 16 CiteSeer

  • Next 25 articles...