海量图书期刊资源,随时随地畅享阅读乐趣
Projection Factorisations in Partial Evaluation || Partial Evaluation in PrincipleLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || Partial Evaluation in PracticeLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || BibliographyLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || PrefaceLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || ImplementationLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || PolymorphismLaunchbury, John · 1991
Projection Factorisations in Partial Evaluation || ConclusionLaunchbury, John · 1991
Reversing abstract interpretationsJohn Hughes; John Launchbury · 1994
Relational Reversal of Abstract InterpretationHUGHES, JOHN; LAUNCHBURY, JOHN · Journal of Logic and Computation · 1992
How to give a good research talkPeyton Jones, Simon L.; Hughes, John; Launchbury, John · ACM SIGPLAN Notices · 1993
Projections for polymorphic first-order strictness analysisHughes, John; Launchbury, John · Mathematical Structures in Computer Science · 1992
Strictness analysis aids inductive proofsJohn Launchbury · 1990
State in HaskellJohn Launchbury; Simon L Peyton Jones · 1995
Monadic stateLaunchbury, John; Sabry, Amr · ACM SIGPLAN Notices · 1997
Disposable memo functions (extended abstract)Cook, Byron; Launchbury, John · ACM SIGPLAN Notices · 1997