MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Philip Wadler" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 84 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Simple Type Inference Algorithm  
  • by Philip Wadler
  • …A simple type inference algorithm Philip Wadler, University of Glasgow This program is intended…
  • Add To MetaCart
  • A Taste of Linear Logic  
  • by Philip Wadler — 1993 — In Mathematical Foundations of Computer Science, volume 711 of LNCS
  • …A taste of linear logic ? Philip Wadler Department of Computing Science, University of Glasgow, G…
  • Cited by 52 (5 self) – Add To MetaCart
  • The Girard-Reynolds isomorphism  
  • by Philip Wadler — 2001 — Proc. of 4th Int. Symp. on Theoretical Aspects of Computer Science, TACS 2001
  • …The Girard-Reynolds Isomorphism Philip Wadler Avaya Labs, wadler@(email omitted); Abstract. The second…
  • Cited by 3 (1 self) – Add To MetaCart
  • A Prettier Printer  
  • by Philip Wadler — 1998 — Journal of Functional Programming
  • …A prettier printer Philip Wadler Bell Labs, Lucent Technologies wadler…
  • Cited by 15 (0 self) – Add To MetaCart
  • Lazy vs. Strict  
  • by Philip Wadler — 1996 — ACM Computing Surveys
  • …Lazy vs. Strict Philip Wadler University of Glasgow Glasgow G12 8QQ, Scotland wadler…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB