People
Events
Research
Home
LFCS reports 2000
A Type-Based Locality Analysis for a Functional Distributed Language
Alvaro Freitas Moreira
Dependently Typed Functional Programs and their Proofs
Conor McBride
Techniques for the Construction and Analysis of Algebraic Performance Models
Graham Clark
Ordinals and Interactive Programs
Peter Hancock
The structure of call-by-value
Carsten Führmann
Testing from Structured Algebraic Specifications: The Oracle Problem
Patricia D. L. Machado
Exact completions and toposes
Matias Menni
Previous
|
Index
|
Next