Continuation Semantics in Typed Lambda-Calculi (1985)

Cached

Download Links

by Albert R. Meyer , Mitchell Wand
Venue:Logics of Programs
Citations:67 - 1 self

Active Bibliography

2 Should a function continue? – Jon Gary Riecke - 1989
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
29 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Contents – Peter Gammie - 2013
Eliminating the Shortcomings of Free Datatype Definitions – Stefan A. Missura - 1995
Preface – Albert Gräf, Albert Gräf - 2007
unknown title – Andrew Sorensen
Director, Changing Places – Kent Larson, Thomas J. Mcleish, Tyson Lawrence
unknown title – Matthew C. Jadud, Little Languages, Little Robots, Jacob Schleter
unknown title – Programming Every, Student Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
Preventing lost messages in event-driven – unknown authors - 2006
unknown title – unknown authors
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language ∗ – Selmer Bringsjord, Jinrong Li
THE TWO SOFTWARE CULTURES AND THE EVOLUTION OF EVOLUTIONARY ECONOMIC SIMULATION – unknown authors
Video Coder and Decoder – Rex K. Min, Anantha Chandrakasan Ph. D, Arthur Clarke Smith, Ph. D, Rex K. Min - 1999
Introduction to Standard ML – unknown authors
Runtime Synthesis of Parallel and High-Performance Computational Kernels – Christopher Mueller