• People
• Events
• Research

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