Projection Factorisations in Partial Evaluation || Polymorphism
- 作者Launchbury, John
- 期第7期
- 文件大小882.02KB
- 发表时间1991
- DOI10.1017/cbo9780511569814.009
- 页码86-106
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