Articles mentioning both Philip Wadler and Computer Science

1-16 of 16

  1. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ... 2008. 1 Introduction The polymorphic lambda calculus or System F is ubiquitous in many areas of computer science such as logic, e.g. (Girard et al. 1989; Girard 1990), programming, e.g. (Reynolds 1974), theorem-p......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... (Read Full Article)

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

  2. 2008-010.pdf (application/pdf Object)

    cs.uu.nl (Jul 9 2008) Explore Article

    ... Ralf Hinze, Andres L¨ h, and Bruno C. d. S. Oliveira. “Scrap Your o Boilerplate” reloaded. In Philip Wadler and Masimi Hagiya, editors, FLOPS’06, volume 3945 of LNCS. Springer, 2006. Ralf Hinze, Johan Jeur......editors, Programming Language Implementation and Logic Programming, volume 1140 of Lecture Notes in Computer Science, pages 1–16, 1996. Neil Mitchell and Colin Runciman. A static checker for safe pattern matching i... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  3. A functional-logic library for wired

    The ACM Portal (Jul 7 2008) Explore Article

    ...rence on Correct Hardware 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 Haske...... 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

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

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

    ...ence on Correct Hardware 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 H......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

  5. Type Classes Without Types

    repository.readscheme.org (Apr 2 2008) Explore Article

    ...oceedings of the European Conference on Object-Oriented Programming, volume 615 of Lecture Notes in Computer Science, pages 33–56, 1992. C. Chambers. The Cecil language: Specification and rationale. Technical Repo......nce on Functional programming, pages 179–190, New York, NY, USA, 2002. ACM Press. Martin Odersky, Philip Wadler, and Martin Wehr. A second look at overloading. In FPCA ’95: Proceedings of the seventh internati... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Peter Thiemann   Jean-Yves Girard

  6. Compiling Haskell to Java - Mark Tullsen

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

    ... editor, Functional Programming Languages 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

  7. Data Types a la Carte

    cs.nott.ac.uk (Feb 24 2008) Explore Article

    ...type for expressions, this will require additional cases for the functions we have defined so far. Phil Wadler (1998) has dubbed this the Expression Problem : The goal is to define a data type by cases, where ......2007). Initial algebra semantics is enough! Typed Lambda Calculi and Applications. Lecture Notes in Computer Science, vol. 4583. Springer. Johann, Patricia, & Ghani, Neil. (2008). Foundations for structured programmi... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Conor McBride   University of Nottingham

  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......iqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science 6 (1996), 579–612. 57 [5] B ENTON , N., AND K ENNEDY, A. Monads, effects, and transformations.... (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Green Card   Intel

  9. [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 particular for proving equivalence of programs. Following a consolidated tradition in theoretical computer science we identify programs with the closed λ-terms, possibly containing extra constants, corresponding t... (Read Full Article)

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

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

    Haskell (Feb 6 2008) Explore Article

    ...ence on Correct Hardware 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 Mindsto......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

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

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

    ...nis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science. Springer-Verlag, 2003. 3. Rohit Chandra, Leonardo Dagum, and Dave Kohr. Parallel Programming in Op......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

  12. Natural Language Processing In Haskell

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

    ...Chalmers University in Gothenburg, the CWI Research Institute in the Netherlands, the Department of Computer Science at the University of Durham in the U.K., the Department of Computer Engineering at the Middle East ...... 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... (Read Full Article)

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

  13. JJinuxLand: Haskell: Well-typed Programs Can't be Blamed [Anonymoused]

    Anonymouse.org (Jan 16 2008) Explore Article

    ...ed Programs Can't be Blamed Last Wednesday, I went to a Bay Area Functional Programmers talk to see Philip Wadler give a talk on his paper Well-typed Programs Can't be Blamed. Wadler was a good speaker. He was ver......ve written, including Everything Your Professor Failed to Tell You About Functional Programming and Computer Science: What's Wrong with CS Research. In thinking about interpreter design, I like to focus on what ... (Read Full Article)

    Comment on Article Mentions:   Bell Labs   Philip Wadler   Haskell

  14. ndp.pdf (application/pdf Object)

    Microsoft Research Home (Jan 15 2008) Explore Article

    ...lgorithm + strategy = parallelism. Journal of Functional Programming, 8:23–60, January 1998. [29] Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231–248, 1990. [30] M. Wolf and M. Lam. An algorithmic approach to compound loop transformati... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Philip Wadler   Tim Harris

  15. Haskell: Well-typed Programs Can't be Blamed

    JJinuxLand (Jan 13 2008) Explore Article

    Last Wednesday, I went to a Bay Area Functional Programmers talk to see Philip Wadler give a talk on his paper Well-typed Programs Can't be Blamed. Wadler was a good speaker. He was ver......ve written, including Everything Your Professor Failed to Tell You About Functional Programming and Computer Science: What's Wrong with CS Research. In thinking about interpreter design, I like to focus on what is us... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Bell Labs   Haskell

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

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

    ...nis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science. Springer-Verlag, 2003. 3. Rohit Chandra, Leonardo Dagum, and Dave Kohr. Parallel Programming in Op......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