BibSonomy publications for /author/Launchbury http://www.bibsonomy.org/author/Launchbury BibSonomy RSS Feed for /author/Launchbury Implicit Parameters: Dynamic Scoping with Static Types my huge bibtex http://www.bibsonomy.org/bibtex/26d753c6c3f809fba7a6565dd3272f85c/cabird cabird 2008-08-15T20:29:46+02:00 imported
Implicit Parameters: Dynamic Scoping with Static Types
Jeffrey R. Lewis and Mark Shields and John Launchbury and Erik Meijer Symposium on Principles of Programming Languages 108-118 (2000)
to imported by cabird and 1 other person on 2008-08-15 20:29:46
]]> Combining Monads http://www.bibsonomy.org/bibtex/2724f23aea0bd35291b29b21930331334/pdeleenh pdeleenh 2008-07-07T16:45:32+02:00 imported
Combining Monads
David J. King and Philip Wadler Proc. Functional Programming (1993)
to imported by pdeleenh and 3 other people on 2008-07-07 16:45:32
]]> Industrial Functional Programming. dblp http://www.bibsonomy.org/bibtex/24d27612e47106a98184731c9d08e75a4/dblp dblp 2008-01-04T00:00:00+01:00 dblp
Industrial Functional Programming.
John Launchbury PADL 1 (2008)
to dblp by dblp on 2008-01-04 00:00:00
]]> Combining Monads AOEvolutionchapter short paper http://www.bibsonomy.org/bibtex/2724f23aea0bd35291b29b21930331334/kimmens kimmens 2007-09-26T12:09:12+02:00 imported
Combining Monads
David J. King and Philip Wadler Proc. Functional Programming (1993)
to imported by kimmens and 3 other people on 2007-09-26 12:09:12
]]> Combining Monads The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008 http://www.bibsonomy.org/bibtex/2724f23aea0bd35291b29b21930331334/evol evol 2007-09-26T10:37:27+02:00 system:unfiled
Combining Monads
David J. King and Philip Wadler Proc. Functional Programming (1993)
to system:unfiled by evol and 3 other people on 2007-09-26 10:37:27
]]> Combining Monads software evolution bibliography http://www.bibsonomy.org/bibtex/2724f23aea0bd35291b29b21930331334/tommens tommens 2007-09-25T21:44:52+02:00 imported
Combining Monads
David J. King and Philip Wadler Proc. Functional Programming (1993)
to imported by tommens and 3 other people on 2007-09-25 21:44:52
]]> A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. dblp http://www.bibsonomy.org/bibtex/2b35e54efaa82be58d5e70b6594addf03/dblp dblp 2006-11-16T00:00:00+01:00 dblp
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.
John Hughes and Alex Ferguson Functional Programming 85-101 (1992)
to dblp by dblp on 2006-11-16 00:00:00
]]> Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). dblp http://www.bibsonomy.org/bibtex/2b908f5aa4e302736623ca94725417c5c/dblp dblp 2006-11-16T00:00:00+01:00 dblp
Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).
Alex Ferguson and John Hughes Functional Programming 57-61 (1992)
to dblp by dblp on 2006-11-16 00:00:00
]]> Implicit Parameters: Dynamic Scoping with Static Types. dblp http://www.bibsonomy.org/bibtex/231b5eeeffdff311484925e58b181f178/dblp dblp 2006-03-14T00:00:00+01:00 dblp
Implicit Parameters: Dynamic Scoping with Static Types.
Jeffrey R. Lewis and John Launchbury and Erik Meijer and Mark Shields POPL 108-118 (2000)
to dblp by dblp and 1 other person on 2006-03-14 00:00:00
]]> Galois: high assurance software. dblp http://www.bibsonomy.org/bibtex/2eb149f00087476f33f80337270628f69/dblp dblp 2006-02-13T00:00:00+01:00 dblp
Galois: high assurance software.
John Launchbury ICFP 3 (2004)
to dblp by dblp on 2006-02-13 00:00:00
]]>