Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Baker-Finch, Clem - Department of Computer Science, Australian National University
An Operational Semantics for Parallel Lazy Evaluation Clem BakerFinch
A Photographic Model Clem Baker-Finch
Relevance and Contraction: A Logical Basis for Strictness and Sharing Analysis
Under consideration for publication in J. Functional Programming 1 Constructed Product Result Analysis for Haskell
Type Theory and Projections for HigherOrder Static Analysis ---DRAFT ---
Usage Analysis with Natural Reduction Types David A. Wright
Type Theory and Projections for HigherOrder Static Analysis Clement A. BakerFinch
An operational semantics for parallel callbyneed
Compiling Laziness Using Projection Types Clement A. BakerFinch \Lambda
Towards An Operational Semantics for a Parallel Nonstrict Functional Language
, , 1--17 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Bigre n7677 ---F'evrier 1992 --Journ'ees Francophones des Langages Applicatifs --JFLA92 Relevant logic and strictness analysis
An operational semantics for parallel lazy evaluation Jon G. Hall 1 Clem BakerFinch 2 Phil Trinder 3
Parallel Lazy Abstract Machines Clem Baker-Finch
