Projection Factorisations in Partial Evaluation || Partial Evaluation in Practice
- 作者Launchbury, John
- 期第2期
- 文件大小703.54KB
- 发表时间1991
- DOI10.1017/cbo9780511569814.004
- 页码13-27
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