Segui
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
6111993
A natural semantics for lazy evaluation
J Launchbury
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
5491993
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
449*1999
Lazy functional state threads
J Launchbury, SL Peyton Jones
ACM SIGPLAN Notices 29 (6), 24-35, 1994
3701994
Unboxed values as first class citizens in a non-strict functional language
SLP Jones, J Launchbury
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
3531991
State in haskell
J Launchbury, SL Peyton Jones
Lisp and symbolic computation 8, 293-341, 1995
342*1995
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
1942000
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
1661995
Projection factorisations in partial evaluation
J Launchbury
PQDT-Global, 1989
1531989
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1131998
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
1111999
Structuring depth-first search algorithms in Haskell
DJ King, J Launchbury
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
991995
Constructing natural language interpreters in a lazy functional language
R Frost, J Launchbury
The Computer Journal 32 (2), 108-121, 1989
911989
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
861999
Lazy imperative programming
J Launchbury
Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993
831993
On embedding a microarchitectural design language within Haskell
J Launchbury, JR Lewis, B Cook
ACM SIGPLAN Notices 34 (9), 60-69, 1999
781999
The HACMS program: using formal methods to eliminate exploitable bugs
K Fisher, J Launchbury, R Richards
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
732017
Efficient lookup-table protocol in secure multiparty computation
J Launchbury, IS Diatchki, T DuBuisson, A Adams-Moran
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
702012
Recursive monadic bindings
L Erkök, J Launchbury
ACM Sigplan Notices 35 (9), 174-185, 2000
702000
Handwriting cogen to avoid problems with static typing
CK Holst, J Launchbury
Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992
641992
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20