Articles mentioning both Paul Hudak and Computer Science

1-13 of 13

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

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

    ...ta types. In Tarmo Uustalu, editor, MPC’06, volume 4014 of LNCS, pages 209–234. Springer, 2006. Paul Hudak, John Hughes, Simon Peyton Jones, and Philip Wadler. A history of Haskell: being lazy with class. I......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

  2. Functional Programming FAQ

    Lambda the Ultimate (Jun 17 2008) Explore Article

    ...re at our antipode! When I was an undergrad in 1992 doing Mathematics and Computation (there was no Computer Science course in those days) our very first lecture was in Functional Programming. About half of the stude......which hopefully will be wish fulfilled for my next birthday. The Haskell School of Expression... by Paul Hudak Haskell: The Craft of Functional Programming by Simon Thompson Purely Functional Data Structures by... (Read Full Article)

    Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

  3. #!

    Lambda the Ultimate (Jun 17 2008) Explore Article

    ...re at our antipode! When I was an undergrad in 1992 doing Mathematics and Computation (there was no Computer Science course in those days) our very first lecture was in Functional Programming. About half of the stude......which hopefully will be wish fulfilled for my next birthday. The Haskell School of Expression... by Paul Hudak Haskell: The Craft of Functional Programming by Simon Thompson Purely Functional Data Structures by... (Read Full Article)

    Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

  4. Not as Pessimistic

    Lambda the Ultimate (Jun 12 2008) Explore Article

    ...re at our antipode! When I was an undergrad in 1992 doing Mathematics and Computation (there was no Computer Science course in those days) our very first lecture was in Functional Programming. About half of the stude......which hopefully will be wish fulfilled for my next birthday. The Haskell School of Expression... by Paul Hudak Haskell: The Craft of Functional Programming by Simon Thompson Purely Functional Data Structures by... (Read Full Article)

    Comment on Article Mentions:   Paul Hudak   Chris Okasaki   Matthias Felleisen

  5. Compiling Embedded Languages

    Conal Elliott's home page (Jun 4 2008) Explore Article

    ...the third International Summer School on Advanced Functional Programming, Springer Lecture Notes in Computer Science, 1999. http://users.comlab.ox.ac.uk/oege.demoor/papers/braga.ps.gz. 2. Conal Elliott. A Pan image g......on: Practice and Theory, volume 1706. Springer-Verlag, 1999. Compiling Embedded Languages 15 8. Paul Hudak. Modular domain specific languages and tools. In P. Devanbu and J. Poulin, editors, Proceedings: F... (Read Full Article)

    Comment on Article Mentions:   Landin   Acm Sigplan   Paul Hudak

  6. 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......s. The Cecil language: Specification and rationale. Technical Report TR-93-03-05, 1993. Kung Chen, Paul Hudak, and Martin Odersky. Parametric type classes (extended abstract). In 1992 ACM Conference on Lisp an... (Read Full Article)

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

  7. Compiling Haskell to Java - Mark Tullsen

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

    ...as due to java's lack of pointers, first class Compiling Haskell to Java Mark Tullsen Department of Computer Science Yale University New Haven, CT 06520-8285 tullsen@cs.yale.edu Research Report YALEU/DCS/RR-1204 May ...... sium on Lisp and Functional Programming, pages 218 227. ACM, ACM, August 1984. [3] Adrienne Bloss, Paul Hudak, and Jonathan Young. Code optimizations for lazy evaluation. Lisp and Symbolic Computation, 1:147 1... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Sun Microsystems   Prentice Hall

  8. afp-arrows.pdf (application/pdf Object)

    cs.chalmers.se (Feb 14 2008) Explore Article

    Programming with Arrows John Hughes Department of Computer Science and Engineering, Chalmers University of Technology, S-41296 Sweden. 1 1.1 Introduction Point-free......n. http://www.haskell.org/arrows/. 7. Joe English. Hxml. http://www.flightlab.com/∼joe/hxml/. 8. Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive progra... (Read Full Article)

    Comment on Article Mentions:   Peter Thiemann   Benjamin C. Pierce   Jeremy Gibbons

  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∗ ......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...... Introduction to Functional Programming using Haskell. Prentice Hall Press, 2nd edition (1998). [6] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge Un... (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......ne, and Oege de Moore. Compiling embedded languages. In [48], pages 9–27, 2000. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163–... (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 ......hose researchers who provided many useful and encouraging comments: Paul Callaghan, Joao Fernandes, Paul Hudak, John Hughes, Graham Hutton, Barbara Partee, David Turner, Jan van Eijck and Philip Wadler. In part... (Read Full Article)

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

  13. 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......and Oege de Moore. Compiling embedded languages. In [48], pages 9–27, 2000. 11. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163–... (Read Full Article)

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

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