Philip Wadler

View Scopus Profile

Philip Wadler, FRS

PROF

 https://orcid.org/0000-0001-7619-6378
Filter
Conference contribution

Search results

  • 1995

    How to Declare an Imperative

    Wadler, P., 1995, Logic Programming, Proceedings of the 1995 International Symposium, December 4-7, 1995, Portland, Oregon. MIT Press, p. 18-32 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Once Upon a Type

    Turner, D. N., Wadler, P. & Mossin, C., 1995, FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture. ACM, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Static analysis refuses to stay still: Prospects of static analyis for dynamic allocation: Memory Management

    Wadler, P., 1995, Memory Management: International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings. Baler, H. G. (ed.). Springer, p. 117 1 p. (Lecture Notes in Computer Science; vol. 986).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Call-by-Need Lambda Calculus

    Ariola, Z. M., Felleisen, M., Maraist, J., Odersky, M. & Wadler, P., 1995, POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, p. 233-246 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1993

    A Syntax for Linear Logic

    Wadler, P., 1993, Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings. Brookes, S. D., Main, M. G., Melton, A., Mislove, M. W. & Schmidt, D. A. (eds.). Springer, p. 513-529 17 p. (Lecture Notes in Computer Science; vol. 802).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A taste of linear logic

    Wadler, P., 1993, Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings . Borzyszkowski, A. M. & Sokolowski, S. (eds.). Springer, p. 185-210 26 p. (Lecture Notes in Computer Science; vol. 711).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Imperative functional programming

    Peyton Jones, S. L. & Wadler, P., 1993, POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, p. 71-84 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Glasgow Haskell Compiler: A Retrospective

    Hall, C. V., Hammond, K., Partain, W., Peyton Jones, S. L. & Wadler, P., 1993, Proceedings of the 1992 Glasgow Workshop on Functional Programming. London, UK, UK: Springer, p. 62-71 10 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1992

    Avoiding Unnecessary Updates

    Launchbury, J., Gill, A., Hughes, J., Marlow, S., Jones, S. P. & Wadler, P., 1992, In Glasgow Workshop on Functional Programming. Springer, p. 144-153

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Combining Monads

    King, D. J. & Wadler, P., 1992, Glasgow Workshop on Functional Programming. Springer, p. 134-143 10 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The essence of functional programming

    Wadler, P., 1992, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1991

    Is there a use for linear logic?

    Wadler, P., 1 May 1991, Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. p. 255-273 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1989

    Backwards Strictness Analysis: Proved and Improved

    Davis, K. & Wadler, P., 1989, Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland. Springer, p. 12-30 19 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • How to make ad-hoc polymorphism less ad hoc

    Wadler, P. & Blott, S., 1989, POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York, NY, USA: ACM, p. 60-76 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Theorems for free!

    Wadler, P., 1989, FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture . ACM Press, p. 347-359 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1988

    Strictness analysis aids time analysis

    Wadler, P., 1988, POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, p. 119-132 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1987

    A new array operation

    Wadler, P., 1987, Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986. Fasel, J. & Keller, R. (eds.). Berlin, Heidelberg: Springer, p. 328-335 8 p. (Lecture Notes in Computer Science; vol. 279).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Projections for strictness analysis

    Wadler, P. & Hughes, R. J. M., 1987, Functional Programming Languages and Computer Architecture: Portland, Oregon, USA, September 14–16, 1987 Proceedings. Kahn, G. (ed.). Springer, p. 385-407 23 p. (Lecture Notes in Computer Science; vol. 274).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Views: a way for pattern matching to cohabit with data abstraction

    Wadler, P., 1987, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York, NY, USA: ACM, p. 307-313 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1986

    Listlessness is better than laziness II: Composing listless functions: Programs as Data Objects

    Wadler, P., 1986, Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985 . Ganzinger, H. & Jones, N. D. (eds.). Springer, p. 282-305 24 p. (Lecture Notes in Computer Science; vol. 217).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1981

    Applicative style programming, program transformation, and list operators

    Wadler, P., 1981, Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981. ACM, p. 25-32 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1980

    Experience with an Applicative String Processing Language

    Jr., J. H. M., Schmidt, E. & Wadler, P., 1980, POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, p. 32-46 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution