Articles mentioning both Philip Wadler and Springer Verlag

1-16 of 16

  1. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...mbridge University Press, 2003. Simon Peyton Jones, Cordelia Hall, Kevin Hammond, Will Partain, and Philip Wadler. The Glasgow Haskell Compiler: a technical overview. In Proceedings of Joint Framework for Informat......In B. Robinet, editor, Programming Symposium ’74, volume 19 of Lecture Notes in Computer Science. Springer Verlag, 1974. B Saha and Z Shao. Optimal type lifting. In Types in Compilation, pages 156– 177, 1998. UR... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

  2. A functional-logic library for wired

    The ACM Portal (Jul 7 2008) Explore Article

    ...ardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, October 2005. Koen Claessen and Peter Ljunglöf. Typed logical variables in Haskell. In P Matthew ...... Spivey and Silvija Seres. Embedding Prolog in Haskell. In Haskell Workshop, Paris, September 1999. Philip Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the ... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Acm Sigplan   Emil Axelsson

  3. http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

    cs.chalmers.se (Jul 7 2008) Explore Article

    ...rdware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, October 2005. [2] Koen Claessen and Peter Ljungl¨f. Typed logical variables in Haskell. In Proc. ......thods in Computer-Aided Design, 5th International Conference, LNCS 3312. Springer-Verlag, 2004. [9] Philip Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the ... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

  4. [pdf] Philip Wadler: The essence of functional programming (1992 paper presenting monads)

    Informatics Homepages Server (Jun 14 2008) Explore Article

    ...hey can mimic the effect of impure features such as exception The essence of functional programming Philip Wadler, University of Glasgow \Lambda Abstract This paper explores the use monads to structure functional ......ypes. In International Conference on Theoretical Aspects of Computer Software, Sendai, Japan, LNCS, Springer Verlag, September 1991. [Spi90] M. Spivey, A functional theory of exceptions. Science of Computer Programm... (Read Full Article)

    Comment on Article Mentions:   MIT Press   Will Partain   Logic in Computer Science

  5. Wadler: Monads

    Informatics Homepages Server (May 16 2008) Explore Article

    ...tructive array update is also presented. No knowledge of category theory is assumed. David King and Philip Wadler. Glasgow Workshop on Functional Programming, Springer Verlag Workshops in Computing Series, Ayr, July 1992. Monads provide a way of structuring functional progr... (Read Full Article)

    Comment on Article Mentions:   Mathematical Structures in Computer Science   Philip Wadler   Haskell

  6. Monads for Functional Programming

    Informatics Homepages Server (Apr 24 2008) Explore Article

    Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland (w......er, editors, Advanced Functional Programming, Proceedings of the B˚ astad Spring School, May 1995, Springer Verlag Lecture Notes in Computer Science 925. A previous version of this note appeared in: M. Broy, editor... (Read Full Article)

    Comment on Article Mentions:   Logic in Computer Science   Prentice Hall   Haskell

  7. Compiling Haskell to Java - Mark Tullsen

    cs.yale.edu (Mar 29 2008) Explore Article

    ...anguages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 113 128. Springer Verlag, September 1985. [19] Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In POPL, Jan 89. 15 (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Sun Microsystems   Prentice Hall

  8. Tackling the awkward squad

    Microsoft Research Home (Feb 18 2008) Explore Article

    ..., while brilliant, is not for the faint hearted. For practical programmers the breakthrough came in Phil Wadler’s paper “Comprehending monads” [47], in which he described the usefulness of monads in a prog...... on Memory Management, Y. Bekkers and J. Cohen, Eds., no. 637 in Lecture Notes in Computer Science. Springer Verlag, St. Malo, France, Sept. 1992, pp. 277–298. [14] H UDAK , P. The Haskell school of expression. Ca... (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Green Card   Intel

  9. Pretty Printing with Lazy Dequeues

    informatik.uni-bonn.de (Feb 15 2008) Explore Article

    ...ue then True else True else if False then False else False John Hughes [2], Simon Peyton Jones [3], Phil Wadler [7], and Pablo Azero and Doaitse Swierstra [1] have all developed pretty printing libraries for Has......-printing library. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925. Springer Verlag, 1995. [3] Simon Peyton Jones. A pretty printer library in Haskell. Available from http://research.... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Springer Verlag   International Conference on Functional Programming

  10. [pdf] A History of Haskell : Being Lazy With Class

    disi.unige.it (Feb 8 2008) Explore Article

    Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an usefu......n, J. Power and C. Talcott. References [BW85] M. Barr and C. Wells. Toposes, Triples and Theories. Springer Verlag, 1985. 27 [CP90] R.L. Crole and A.M. Pitts. New foundations for fixpoint computations. In 4th LI... (Read Full Article)

    Comment on Article Mentions:   University of Oxford   Eugenio Moggi   Academic Press

  11. TMR-Issue7.pdf (application/pdf Object)

    Haskell (Feb 6 2008) Explore Article

    ...rdware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag (October 2005). [7] Jan Tobias Muehlberg and Matthew Naylor. FUN with Lego Mindstorms. http://www.c......hc/docs/papers/core.ps.gz. [5] XUL Overlays. http://developer.mozilla.org/en/docs/XUL_Overlays. [6] Philip Wadler. How to replace failure by a list of successes. In Proc. of a conference on Functional programming ... (Read Full Article)

    Comment on Article Mentions:   University of York   Emil Axelsson   Unicode

  12. DSL Implementation in MetaOCaml , Template Haskell , and C++

    cs.rice.edu (Jan 30 2008) Explore Article

    ...e in Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, pages 91–113. Springer Verlag, 1998. Ian Lynagh. Template Haskell: A report from the field. http://web.comlab.ox.ac.uk /oucl/wor......gramming. In Proceedings of IEEE Conf. on Robotics and Automation, 1999. 41. Simon Peyton Jones and Philip Wadler. Imperative functional programming. In the Symposium on Principles of Programming Languages (POPL ... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Olivier Danvy   Peter Thiemann

  13. parsec.pdf (application/pdf Object)

    legacy.cs.uu.nl (Jan 26 2008) Explore Article

    ...n Java/ML/C. Cambridge University Press, ISDN 0-521-58654-2. Atsushi Igarishi, Benjamin Pierce, and Philip Wadler. (November 1999) Featherweight Java: A minimal core calculus for Java and GJ. OOPSLA, Denver. http:...... and Rinus Plasmeijer. (1999) Efficient Combinator Parsers. Implementation of Functional Languages. Springer Verlag, LNCS 1595: 122-138. ftp://ftp.cs.kun.nl/pub/CSI/SoftwEng.FunctLang/papers. Torben Mogensen. (1993)... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Erik Meijer   University of Nottingham

  14. Natural Language Processing In Haskell

    cs.uwindsor.ca (Jan 18 2008) Explore Article

    ... Fernandes, Paul Hudak, John Hughes, Graham Hutton, Barbara Partee, David Turner, Jan van Eijck and Philip Wadler. In particular, Barbara Partee provided detailed comments which significantly improved the descrip......Languages and Computer Architecture. J. Jouannaud, Ed. Lecture Notes in Computer Science, vol. 201. Springer Verlag, 1–16. TURNER, D. A. 1986. An overview of miranda. SIGPLAN Notices 21, 12, 158–166. UDDERBORG, ... (Read Full Article)

    Comment on Article Mentions:   ACM Press   School of Computer Science   Graham Hutton

  15. ndp.pdf (application/pdf Object)

    Microsoft Research Home (Jan 15 2008) Explore Article

    ...] Manuel M. T. Chakravarty and Gabriele Keller. More types for nested data parallel programming. In Philip Wadler, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (I......n. In 1993 Workshop on Languages and Compilers for Parallel Computing, number 768, pages 301–320. Springer Verlag, 1993. [13] J Launchbury and SL Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4)... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Philip Wadler   Tim Harris

  16. DSL Implementation in MetaOCaml, Template Haskell, and C++

    cs.rice.edu (Jan 9 2008) Explore Article

    ...e in Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, pages 91–113. Springer Verlag, 1998. 28. Ian Lynagh. Template Haskell: A report from the field. http://web.comlab.ox.ac.uk /oucl......gramming. In Proceedings of IEEE Conf. on Robotics and Automation, 1999. 41. Simon Peyton Jones and Philip Wadler. Imperative functional programming. In the Symposium on Principles of Programming Languages (POPL ... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Olivier Danvy   Walid Taha

1-16 of 16
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire