Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jimburton's library [256 articles]

Recent papers added to jimburton's library.
  • Liquid Types
    (2008)
    by Patrick Rondon, Ming Kawaguchi, Ranjit Jhala
    posted to type-theory ocaml functional-programming dependent-types by jimburton on 2008-06-20 11:30:13 as read
  • How real are real numbers?
    (24 November 2004)
    by GJ Chaitin
    posted to models_of_computation maths by jimburton on 2008-06-17 16:30:26 as ** along with 12 people and 2 groups watson SamB sourada mafwood A_Olympia DineshGaitonde jrw ChaTo xtizon proportional BrendaChng scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
  • Typeful Programming
    (1991), pp. 431-507.
    by Luca Cardelli
    edited by EJ Neuhold, M Paul
    posted to type-theory functional-programming by jimburton on 2008-06-09 11:16:50 as *** along with 4 people and 2 groups rgrig amorkan lyongu ds Lambda the Ultimate SRG_at_UCD
  • Operational constraints in diagrammatic reasoning
    (1996), pp. 27-48.
    by Atsushi Shimojima
    posted to diagrams by jimburton on 2008-05-29 10:26:45 as read
  • Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations
    Diagrammatic Representation and Inference (2004), pp. 18-21.
    by Atsushi Shimojima
    posted to diagrams by jimburton on 2008-05-29 10:16:46 as read
  • Introduction to Formal Specification and Z (2nd Edition)
    (11 July 1996)
    by Ben Potter, Jane Sinclair, David Till
    posted to z formal-methods by jimburton on 2008-05-22 14:38:34 as *** along with 1 person smogit
  • Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal-methods by jimburton on 2008-05-22 14:30:42 as *** along with 2 people and 1 group rgrig citeilike SRG_at_UCD
  • Editorial: Efficacy of Diagrammatic Reasoning
    Journal of Logic, Language and Information, Vol. 8, No. 3. (1999), pp. 265-271.
    by Oliver Lemon, Maarten de Rijke, Atsushi Shimojima
    posted to logic diagrams by jimburton on 2008-05-13 15:15:59 as read
  • A New Extraction for Coq
    Types for Proofs and Programs (2003), pp. 617-617.
    by Pierre Letouzey
    posted to type-theory dependent-types coq by jimburton on 2008-04-29 16:34:53 as * along with 2 people msakai mvermaat
  • Composing contracts: an adventure in financial engineering (functional pearl)
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
    by Simon Peyton Jones, Jean M Eber, Julian Seward
    posted to haskell functional-programming dsel by jimburton on 2008-04-29 15:15:48 as ** along with 1 person pedagand
  • notes The Power of Pi
    (April 2008)
    by Nicolas Oury, Wouter Swierstra
    posted to type-theory functional-programming dsel agda by jimburton on 2008-04-24 18:17:57 as read
  • HMF: Simple type inference for first-class polymorphism
    (April 2008)
    by Daan Leijen
    posted to type-theory functional-programming by jimburton on 2008-04-23 12:18:58 as **
  • Type Checking with Open Type Functions
    by Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
    posted to functional-programming haskell type-theory by jimburton on 2008-04-22 13:11:09 as read
  • The Arrow Calculus (Functional Pearl)
    by Sam Lindley, Philip Wadler, Jeremy Yallop
    posted to arrows functional-programming haskell by jimburton on 2008-04-22 12:58:48 as read
  • Foundations for structured programming with GADTs
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
    by Patricia Johann, Neil Ghani
    posted to category-theory haskell type-theory by jimburton on 2008-04-22 12:48:14 as read along with 2 people and 1 group hellige msakai Lambda the Ultimate
  • Arrows, robots, and functional reactive programming
    (2002)
    by P Hudak, A Courtney, H Nilsson, J Peterson
    posted to arrows frp functional-programming by jimburton on 2008-04-19 19:52:44 as ** along with 2 people dfisher rsaarelm
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to dependent-types type-theory by jimburton on 2008-04-02 17:50:18 as ** along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version)
    No. 04381. (2005)
    by Anton Setzer, Peter Hancock
    edited by Thorsten Altenkirch, Martin Hofmann, John Hughes
    posted to type-theory by jimburton on 2008-03-12 16:22:51 as **
  • A Theory of Objects (Monographs in Computer Science)
    (23 April 1998)
    by Martin Abadi, Luca Cardelli
    posted to type-theory by jimburton on 2008-03-12 16:08:01 as ** along with 2 people and 1 group pbostrom majak FAL
  • Trends in Functional Programming (Vol 7)
    (30 September 2007)
    edited by Henrik Nilsson
    posted to functional-programming by jimburton on 2008-03-11 12:26:36 as ***
  • Dependent types in practical programming
    (1999), pp. 214-227.
    by Hongwei Xi, Frank Pfenning
    posted to dependent-types functional-programming ml by jimburton on 2008-02-29 16:40:52 as **** along with 8 people and 1 group rgrig yallop tautologico japple voigt kavabean geishagirls rysavy SRG_at_UCD
  • Template meta-programming for Haskell
    (2002), pp. 1-16.
    by Tim Sheard, Simon Peyton Jones
    posted to functional-programming generics haskell meta-programming by jimburton on 2008-02-29 12:17:38 as *** along with 6 people and 1 group twleung dherman JacquesC ryanc bringert wtribbey NU-PRL
  • Optimising Embedded DSLs Using Template Haskell
    Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
    by Sean Seefried, Manuel Chakravarty, Gabriele Keller
    posted to dsel functional-programming generics haskell by jimburton on 2008-02-29 12:16:04 as *** along with 2 people mbravenboer keigoi
  • Dependent Types
    (19 November 2004)
    by David Aspinall, Martin Hofmann
    edited by Benjamin C Pierce
    posted to dependent-types type-theory by jimburton on 2008-02-28 20:13:48 as read
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to dependent-types type-theory by jimburton on 2008-02-28 19:27:19 as *** along with 8 people and 1 group pnkfelix tautologico xiemaisi Benja glaubersp ds mmarcus d23 AS-IIS_ReadingGroup
  • Do we need dependent types?
    J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
    by Daniel Fridlender, Mia Indrika
    posted to dependent-types functional-programming type-theory by jimburton on 2008-02-28 15:48:48 as *** along with 1 person spl
  • An Introduction to Dependent Type Theory
    (2002), pp. 1-41.
    by Gilles Barthe, Thierry Coquand
    posted to dependent-types type-theory by jimburton on 2008-02-28 15:47:30 as *** along with 4 people and 1 group dherman tautologico spl ryanc NU-PRL
  • Subset Coercions in Coq
    Types for Proofs and Programs (2007), pp. 237-252.
    by Matthieu Sozeau
    edited by Thorsten Altenkirch, Conor Mcbride
    posted to coq dependent-types functional-programming theorem-proving type-theory by jimburton on 2008-02-28 13:56:18 as ****
  • Haskell 98 Language and Libraries: The Revised Report
    (05 May 2003)
    by Simon Peyton Jones
    posted to haskell by jimburton on 2008-02-28 13:48:50 as * along with 2 people and 1 group samth tov NU-PRL
  • Implicit configurations -- or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to dependent-types functional-programming haskell by jimburton on 2008-02-28 12:41:04 as *** along with 5 people and 1 group hellige greenrd yallop zednenem AndreasSchropp SRG_at_UCD
  • Statically Typed Linear Algebra in Haskell
    (2006)
    by Frederik Eaton
    posted to dependent-types functional-programming haskell by jimburton on 2008-02-28 12:39:12 as ***
  • Statically typed linear algebra in Haskell
    (2006), pp. 120-121.
    by Frederik Eaton
    posted to functional-programming haskell by jimburton on 2008-02-28 11:42:45 as *** along with 1 person wtribbey
  • Strongly typed memory areas programming systems-level data structures in a functional language
    (2006), pp. 72-83.
    by Iavor S Diatchki, Mark P Jones
    posted to functional-programming haskell by jimburton on 2008-02-28 11:42:07 as *** along with 1 person keigoi
  • Purely functional data structures
    (1998)
    by Chris Okasaki
    posted to functional-programming ocaml by jimburton on 2008-02-26 14:44:28 as read along with 5 people JeffreyPalmer muli msakai AndreasSchropp kozaki
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to functional-programming by jimburton on 2008-02-26 14:41:27 as read along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Total Functional Programming
    Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
    by DA Turner
    posted to functional-programming haskell by jimburton on 2008-02-26 14:37:25 as ** along with 2 people and 1 group mstone robotact Lambda the Ultimate
  • First-Class Phantom Types
    (2003)
    by James Cheney, Ralf Hinze
    posted to functional-programming haskell type-theory by jimburton on 2008-02-26 14:35:33 as **** along with 1 person and 1 group jsiek Lambda the Ultimate
  • Phantom types
    (2003)
    by J Cheney, R Hinze
    posted to functional-programming haskell type-theory by jimburton on 2008-02-26 14:35:07 as read along with 2 people and 1 group keigoi tov Lambda the Ultimate
  • A tutorial on the universality and expressiveness of fold
    J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
    by Graham Hutton
    posted to functional-programming haskell by jimburton on 2008-02-26 14:34:22 as ** along with 1 person and 1 group mcclurmc functional programming
  • Building domain-specific embedded languages
    ACM Computing Surveys, Vol. 28, No. 4es. (1996), pp. 196-196.
    by Paul Hudak
    posted to dsel haskell by jimburton on 2008-02-26 14:33:14 as ** along with 3 people bringert serebryakov robertlischke
  • Domain-Specific Languages: An Annotated Bibliography
    SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36.
    by Arie van Deursen, Paul Klint, Joost Visser
    posted to dsel by jimburton on 2008-02-26 14:32:01 as ** along with 5 people and 1 group twleung JacquesC hamish JeffreyPalmer mldechert NU-PRL
  • Domain specific embedded compilers
    (1999), pp. 109-122.
    by Daan Leijen, Erik Meijer
    posted to dsel functional-programming by jimburton on 2008-02-26 14:31:00 as ** along with 11 people and 2 groups sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc dfisher NU-PRL Lambda the Ultimate
  • Modular Domain Specific Languages and Tools
    (1998), pp. 134-142.
    by Paul Hudak
    edited by P Devanbu, J Poulin
    posted to dsel functional-programming haskell by jimburton on 2008-02-26 14:29:32 as ** along with 7 people and 2 groups JacquesC hamish JeffreyPalmer cedricboidin stagediver bunge mldechert NU-PRL Lambda the Ultimate
  • The Fun of Programming (Cornerstones of Computing S.)
    (30 June 2005)
    by Jeremy Gibbons, Oege de Moor
    posted to functional-programming haskell by jimburton on 2008-02-26 14:28:19 as ** along with 2 people spl thsutton
  • Type Systems
    (1997)
    by Luca Cardelli
    edited by Allen B Tucker
    posted to functional-programming type-theory by jimburton on 2008-02-26 14:26:27 as ** along with 8 people and 2 groups rgrig greenrd tautologico amorkan lyongu Bluetulip Leho mvermaat SRG_at_UCD Lambda the Ultimate
  • Basic Category Theory for Computer Scientists (Foundations of Computing)
    (07 August 1991)
    by Benjamin C Pierce
    posted to category-theory type-theory by jimburton on 2008-02-26 14:25:50 as ** along with 8 people and 1 group ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds Lambda the Ultimate
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to type-theory by jimburton on 2008-02-26 14:24:32 as read along with 14 people and 2 groups eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck SRG_at_UCD Lambda the Ultimate
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to dependent-types functional-programming type-theory by jimburton on 2008-02-26 14:24:06 as *** along with 6 people and 1 group sstrickl tautologico thsutton voigt lyongu msakai Lambda the Ultimate
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to functional-programming haskell by jimburton on 2008-02-26 14:23:22 as ** along with 9 people and 3 groups twleung dherman greenrd cedricboidin msakai bonotake tov calvins BMeph NU-PRL SRG_at_UCD Lambda the Ultimate
  • The risks and benefits of teaching purely functional programming in first year
    Journal of Functional Programming, Vol. 14, No. 01. (2004), pp. 113-123.
    by Manuel M Chakravarty, Gabriele Keller
    posted to functional-programming by jimburton on 2008-02-26 14:20:09 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/jimburton

    Result page: 1 2 3 4 5 6 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.