Colin Runciman

0 Comments Leave a Comment

1-15 of 21 // 1 2 »
  1. Mentioned In 21 Articles

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

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

    ...rogramming, volume 1140 of Lecture Notes in Computer Science, pages 1–16, 1996. Neil Mitchell and Colin Runciman. A static checker for safe pattern matching in Haskell. In Trends in Functional Programming, volum... (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

    ...ty of York, York, Great Britain Emil Axelsson Chalmers University of Technology, Gothenburg, Sweden Colin Runciman University of York, York, Great Britain Emil Axelsson, Koen Claessen, and Mary Sheeran. Wired: Wire... (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

    ...tional-Logic Library for Wired Matthew Naylor mfn@cs.york.ac.uk Emil Axelsson emax@cs.chalmers.se Colin Runciman colin@cs.york.ac.uk Abstract We develop a Haskell library for functional-logic programming and app... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

  5. Haskell Workshop 2007 - List of Accepted Papers

    Java SSH for weill (Jun 30 2008) Explore Article

    Haskell Workshop 2007 List of Accepted Papers Andy Gill and Colin Runciman. Haskell Program Coverage - Simon Marlow, José Iborra, Bernard Pope and Andy Gill. A Lightweight I... (Read Full Article)

    Comment on Article Mentions:   Simon Peyton Jones   Wouter Swierstra   Emil Axelsson

  6. Lazy SmallCheck

    www-users.cs.york.ac.uk (Jun 25 2008) Explore Article

    A library for demand-driven testing of Haskell programs by Fredrik Lindblad, Matthew Naylor, Colin Runciman News Thursday 22nd November 2007. I gave a talk (pdf) about at Fun in the Afternoon, York. Abstrac... (Read Full Article)

    Comment on Article Mentions:   Haskell   Colin Runciman   Matthew Naylor

  7. Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming

    cs.vu.nl (May 28 2008) Explore Article

    ...n, Robert Ennals, Barry Jay, Johan Jeuring, Ralf Hinze, Tony Hoare, Simon Marlow, Riccardo Pucella, Colin Runciman, Joost Visser, and Stephanie Weirich for very helpful discussions and feedback on earlier drafts of... (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Symbolic Computation   Colin Runciman

  8. A Supercompiler for Core Haskell

    www-users.cs.york.ac.uk (May 19 2008) Explore Article

    Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, ... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Neil Mitchell   Tony Hoare

  9. The Monad.Reader Issue 10

    Haskell (Apr 8 2008) Explore Article

    ...ars ago by Lennart Augustsson in a lazy untyped functional interpreter called Small [9]. (Thanks to Colin Runciman for pointing me to the paper on Small.) I’ve simply rehabilitated the method to see how well it w... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Lennart Augustsson   Neil Mitchell

  10. Using HaXml to clean legacy HTML pages

    Krowland.net Homepage (Mar 6 2008) Explore Article

    .... Kris De Schutter brought HaXml to my attention and after reading the paper by Malcolm Wallace and Colin Runciman, this small project was born. Before starting off with HaXml, you obviously need a background in Ha... (Read Full Article)

    Comment on Article Mentions:   Haskell Cafe   Haskell   Malcolm Wallace

  11. XML Matters: Transcending the limits of Dom, Sax, and XSLT

    IBM United States (Mar 6 2008) Explore Article

    ...ther tools. A detailed discussion of HaXml was written by its original authors, Malcolm Wallace and Colin Runciman, Haskell and XML: Generic Combinators or Type-Based Translation. Its tone and level presume a great... (Read Full Article)

    Comment on Article Mentions:   Haskell   Malcolm Wallace   Colin Runciman

  12. Applications and libraries/GUI libraries - HaskellWiki

    Haskell (Mar 2 2008) Explore Article

    ...unctional components for graphical user interfaces, developed by Rob Noble under the supervision of Colin Runciman. See LNCS 982, pages 321-340. Gtk+HS is a Haskell binding for GTK+. It provides a transcription of ... (Read Full Article)

    Comment on Article Mentions:   Unicode   Colin Runciman   Haskell

  13. Pretty Printing with Lazy Dequeues

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

    ...ts of non-inductively defined abstract data structures such as dequeues. Acknowledgements I thank Colin Runciman and the anonymous referees for many suggestions for improving this paper. The work reported in this... (Read Full Article)

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

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

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

    ...P and Functional Programming, Nice, pages 61–78, New York, NY, 1990. ACM. 27. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Fun... (Read Full Article)

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

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

    Haskell (Feb 6 2008) Explore Article

    ...ing from the University of York. He is still there, working towards a PhD, under the supervision of Colin Runciman. Matthew Naylor is a member of the programming languages and systems group at the University of Yor... (Read Full Article)

    Comment on Article Mentions:   University of York   Emil Axelsson   Unicode

  16. Neil Mitchell - Home Page

    www-users.cs.york.ac.uk (Feb 1 2008) Explore Article

    ...rk, England, in the Programming Languages and Systems Research Group (PLASMA), and am supervised by Colin Runciman. I have an MEng in Computer Systems and Software Engineering f Neil Mitchell Department of Computer... (Read Full Article)

    Comment on Article Mentions:   University of York   Haskell   Colin Runciman

1-15 of 21 // 1 2 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire