John Launchbury
John Launchbury
Chief Scientist, Galois
Email verificata su galois.com
Titolo
Citata da
Citata da
Anno
A short cut to deforestation
A Gill, J Launchbury, SL Peyton Jones
Proceedings of the conference on Functional programming languages and …, 1993
5481993
A natural semantics for lazy evaluation
J Launchbury
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
4871993
Haskell 98—A Non− strict ‚Purely Functional Language
P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ...
Available from http://www. haskell. org/definition/, 1999
430*1999
Lazy functional state threads
J Launchbury, SL Peyton Jones
ACM SIGPLAN Notices 29 (6), 24-35, 1994
3251994
State in haskell
J Launchbury, SLP Jones
Lisp and symbolic computation 8 (4), 293-341, 1995
321*1995
Unboxed values as first class citizens in a non-strict functional language
SLP Jones, J Launchbury
Conference on Functional Programming Languages and Computer Architecture …, 1991
3171991
Implicit parameters: Dynamic scoping with static types
JR Lewis, J Launchbury, E Meijer, MB Shields
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1822000
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
1641995
Project Factorisations in Partial Evaluation
J Launchbury
Cambridge University Press, 1991
1441991
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1081998
Structuring depth-first search algorithms in Haskell
DJ King, J Launchbury
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
911995
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
791999
Lazy imperative programming
J Launchbury
Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993
761993
On embedding a microarchitectural design language within Haskell
J Launchbury, JR Lewis, B Cook
ACM SIGPLAN Notices 34 (9), 60-69, 1999
731999
Constructing natural language interpreters in a lazy functional language
R Frost, J Launchbury
The Computer Journal 32 (2), 108-121, 1989
721989
Recursive monadic bindings
L Erkök, J Launchbury
ACM Sigplan Notices 35 (9), 174-185, 2000
692000
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
661999
Handwriting cogen to avoid problems with static typing
CK Holst, J Launchbury
Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992
561992
Specifying superscalar microprocessors in Hawk
B Cook, J Launchbury, J Matthews
Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998
551998
Monadic state: Axiomatization and type safety
J Launchbury, A Sabry
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
501997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20