Richard Bird. Zippy Tabulations of
Recursive Functions |
Dexter Kozen
and Wei-Lung (Dustin) Tseng. The
Boehm-Jacopini Theorem is False,
Propositionally |
Shin-Cheng Mu,
Hsiang-Shang Ko and
Patrik
Jansson. Derivation-Carrying Code
using Dependent Types |
Jeremy
Gibbons. Unfolding Abstract
Datatypes |
Roland Backhouse
and Joao Ferreira.
Recounting the rationals:
twice! |
Susumu
Nishimura. Safe Modification of
Pointer Programs in Refinement Calculus |
Roland Backhouse.
The Capacity C Torch
Problem |
Michel Sintzoff. Synthesis of
Optimal Control Policies for Some Infinite-State
Transition Systems |
Janis
Voigtländer. Asymptotic Improvement of Monadic
Computations |
Francois
Pottier and Yann Régis-Gianas.
A Hoare Logic for Call-by-Value
Functional Programs |
Larissa Meinicke and
Ian Hayes.
Probabilistic Choice in Refinement
Algebra |
Andreas
Abel, Thierry
Coquand and Peter Dybjer.
A Semantic beta-eta-Equality Algorithm
for Martin-L"of Type Theory |
Georg Struth and
Jules
Desharnais. Modal Semirings
Revisited |
Andreas
Witzel. Symmetric and Synchronous
Communication in Peer-to-Peer Networks |
Ralph Matthes.
Nested datatypes with generalized
Mendler iteration: map fusion and the example of the
representation of untyped lambda calculus with explicit
flattening |
Roland Glück and
Bernhard Möller. Circulations, Semirings and Fuzzy
Relations |
William
Harrison, Gerard Allwein, Andy Gill and Adam
Procter. Asynchronous Exceptions as an
Effect |
Ralf Laemmel and Ondrej Rypacek. Sliced bananas on opaque data |