- A Data Model and Algebra for XML Query Mary Fernandez AT&T Labs Research mff@research.att.com
- A Reflection on CallbyValue University of Oregon
- Threesomes, With and Without Blame Jeremy G. Siek
- Strictness Analysis on NonFlat Domains (by Abstract Interpretation over Finite Domains)
- Functional Programming Why no one uses functional languages 1
- Leftover Curry and reheated Pizza: How functional programming nourishes software reuse \Lambda
- Combining Monads David J. King Philip Wadler
- JFP 19 (6): 663697, 2009. c Cambridge University Press 2009 doi:10.1017/S0956796809990086 First published online 14 August 2009
- The Girard-Reynolds Isomorphism (second edition)
- Strictness Analysis Aids Time Analysis Philip Wadler
- XQuery Tutorial Peter Fankhauser, Fraunhofer IPSI
- Philip Wadler School of Informatics, University of Edinburgh
- A located lambda calculus Ezra elias kilty Cooper Philip Wadler
- Functional Programing Philip Wadler, University of Glasgow 1
- How to solve the reuse problem? Functional programming Philip Wadler
- A Reflection on CallbyValue Amr Sabry \Lambda
- Faith, Evolution, and Programming Philip Wadler
- A statically safe alternative to virtual types ? Kim B. Bruce ??1 , Martin Odersky 2 , and Philip Wadler 3
- A New Array Operation Philip Wadler
- Fixing some space leaks with a garbage collector \Lambday Philip Wadler
- The Concatenate Vanishes Philip Wadler
- The Arrow Calculus (Functional Pearl)
- Functional Programming Column Philip Wadler, University of Glasgow
- Electronic Notes in Theoretical Computer Science 1 (1995) to appear Callbyname, callbyvalue, callbyneed, and
- A Data Model and Algebra for XML Query Mary Fern'andez AT&T Labs --Research mff@research.att.com
- Is there a use for linear logic? Philip Wadler
- Signed and sealed Philip Wadler Jeremy Yallop
- Deforestation: Transforming programs to eliminate trees
- How to Declare an Imperative Philip Wadler
- A formal semantics of patterns in XSLT Philip Wadler
- As Natural as 0, 1, 2 Philip Wadler
- An Algebra for XML Query Mary Fern'andez AT&T Labs --Research mff@research.att.com
- Comprehending Monads Philip Wadler
- A Practical Subtyping System For Erlang Simon Marlow Philip Wadler
- The Essence of XML (preliminary version)
- Et tu, XML? Philip Wadler, Avaya Labs
- An Algebra for XML Query Mary Fernandez1
- An Algebra for XML Query Mary Fernandez AT&T Labs Research mff@research.att.com
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- The Unreasonable Effectiveness of Philip Wadler
- As Natural as 0, 1, 2 Philip Wadler
- ZU064-05-FPR arrows 23 October 2009 9:34 Under consideration for publication in J. Functional Programming 1
- The RPC Calculus Ezra E. K. Cooper Philip Wadler
- The Essence of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop
- Idioms are oblivious, arrows are meticulous, monads are promiscuous
- Philip Wadler University of Edinburgh
- Blame for All Indiana University
- Blame for all Amal Ahmed1
- Blame for all Amal Ahmed Robert Bruce findler Jacob Matthews Philip Wadler
- Well-typed programs can't be blamed Philip Wadler
- The marriage of effects and monads PHILIP WADLER
- A Reflection on Call-by-Value University of Oregon
- How enterprises use functional languages, and why they don't
- Making the future safe for the past: Adding Genericity to the JavaTM
- GJ: Extending the JavaTM programming language with type
- A taste of linear logic ? Philip Wadler
- A formal semantics of patterns in XSLT Philip Wadler
- As Natural as 0, 1, 2 Philip Wadler
- Call-by-Value is Dual to Call-by-Name Philip Wadler
- GJ Specification Gilad Bracha, Sun Microsystems
- Philip Wadler University of Edinburgh
- Linear Logic, Monads and the Lambda Calculus \Lambda Nick Benton
- A way for pattern matching to cohabit with data abstraction
- Two semantics for XPath Philip Wadler, wadler@research.belllabs.com
- Imperative functional programming Simon L Peyton Jones Philip Wadler \Lambda
- Functional Programming Editor: Philip Wadler, Bell Laboratories, Lucent Technologies; wadler@research.belllabs.com
- The CallbyNeed Lambda Calculus John Maraist, Martin Odersky
- Once upon a type \Lambda David N. Turner Philip Wadler
- Linear types can change the world! Philip Wadler
- GJ Specification Gilad Bracha, Sun Microsystems
- GJ: Extending the Java TM programming language with type Gilad Bracha, Sun Microsystems
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- You and Your Research Philip Wadler, University of Edinburgh
- Monads for functional programming Philip Wadler, University of Glasgow?
- Operational Interpretations of Linear Logic David N. Turner, An Teallach Limited, dnt@anteallach.com
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- The marriage of effects and monads Philip Wadler
- Two semantics for XPath Philip Wadler, wadler@research.bell-labs.com
- Deforestation: Transforming programs to eliminate trees
- GJ Specification Gilad Bracha, Sun Microsystems
- Linear Logic, Monads and the Lambda Calculus* Nick Benton Philip Wadler
- The marriage of effects and monads PHILIP WADLER
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 39-56, 1993 cO1993 Kluwer Academic Publishers -Manufactured in The Netherlands
- Theorems for free! Philip Wadler
- XML Query Languages: Experiences and Exemplars
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 39--56, 1993 fl 1993 Kluwer Academic Publishers --Manufactured in The Netherlands
- There's no substitute for linear logic Philip Wadler
- Theorems for free! Philip Wadler
- StorageTechniquesandMappingSchemasforXML SihemAmer-Yahia
- Growing a Language Guy L. Steele Jr.
- The essence of functional programming Philip Wadler, University of Glasgow \Lambda
- Once upon a type \Lambda David N. Turner Philip Wadler
- Functional Programming Column Philip Wadler, University of Glasgow
- Functional Programming An angry halfdozen 1
- [CF91] R. Cartwright and M. Fagan. Soft typing. In ACM SIGPLAN Conference on Programming Language
- Functional Programming Editor: Philip Wadler, Bell Labs, Lucent Technologies; wadler@research.belllabs.com
- Threesomes, With and Without Blame Jeremy G. Siek1
- A semi-monad for semi-structured data Mary Fernandez1
- Links: Web Programming Without Tiers Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop
- Projections for Strictness Analysis Philip Wadler
- Functional Programming Column Philip Wadler, University of Glasgow
- The essence of functional programming Philip Wadler, University of Glasgow*
- Featherweight Java A Minimal Core Calculus for Java and GJ
- Is there a use for linear logic? Philip Wadler
- The marriage of effects and monads Philip Wadler
- Strictness Analysis Aids Time Analysis Philip Wadler
- A formal semantics of patterns in XSLT Philip Wadler
- Views: A way for pattern matching to
- A New Array Operation Philip Wadler
- A syntax for linear logic? Philip Wadler (wadler@dcs.glasgow.ac.uk)
- A taste of linear logic? Philip Wadler
- MSL A model for W3C XML Schema
- Pizza into Java: Translating theory into practice
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- The Call-by-Need Lambda Calculus John Maraist, Martin Odersky
- A Second Look at Overloading \Lambda Martin Odersky
- Featherweight Java A Minimal Core Calculus for Java and GJ
- Projections for Strictness Analysis \Lambda Philip Wadler
- A static semantics for Haskell Simon L Peyton Jones
- Lazy vs. Strict \Lambda Philip Wadler
- The marriage of effects and monads PHILIP WADLER
- A prettier printer Philip Wadler
- Down with the bureaucracy of syntax! Pattern matching for classical linear logic
- Call-by-Value is Dual to Call-by-Name, Philip Wadler
- Comprehensive Comprehensions Comprehensions with `Order by' and `Group by'
- A model for W3C XML Schema Allen Brown, Microsoft, allenbr@microsoft.com
- A HOT opportunity \Lambda Philip Wadler
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- A syntax for linear logic ? Philip Wadler (wadler@dcs.glasgow.ac.uk)
- A Framework for Heterogeneous Data Synchronization
- Linear types can change the world! Philip Wadler
- Once upon a type David N. Turner Philip Wadler Christian Mossin
- XML Query Languages: Experiences and Exemplars
- Monads for functional programming Philip Wadler, University of Glasgow?
- Functional Programing Philip Wadler, University of Glasgow1
- Leftover Curry and reheated Pizza: How functional programming nourishes software reuse*
- A statically safe alternative to virtual types? Kim B. Bruce??1, Martin Odersky2, and Philip Wadler3
- There's no substitute for linear logic Philip Wadler
- A Second Look at Overloading Martin Odersky Philip Wadler Martin Wehr
- Lazy vs. Strict* Philip Wadler
- GJ: Extending the JavaTM programming language with type parameters
- Fixing some space leaks with a garbage collector*y Philip Wadler
- Operational Interpretations of Linear Logic David N. Turner, An Teallach Limited, dnt@an-teallach.com
- How to Declare an Imperative Philip Wadler
- Combining Monads David J. King Philip Wadler
- Imperative functional programming Simon L Peyton Jones Philip Wadler*
- Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains)
- Comprehending Monads Philip Wadler
- Once upon a type David N. Turner Philip Wadler Christian Mossin
- A HOT opportunity Philip Wadler
- Functional Programming Column Philip Wadler, University of Glasgow
- The Next 700 Markup Languages Philip Wadler, Bell Labs
- The Concatenate Vanishes Philip Wadler
- Making the future safe for the past: Adding Genericity to the JavaTM Programming Language
- Two semantics for XPath Philip Wadler, wadler@research.bell-labs.com
- How to solve the reuse problem? Functional programming Philip Wadler
- A Practical Subtyping System For Erlang Simon Marlow Philip Wadler
- Electronic Notes in Theoretical Computer Science 1 (1995) to appear Call-by-name, call-by-value, call-by-need, and
- An idiom's guide to formlets Ezra Cooper Sam Lindley Philip Wadler Jeremy Yallop
