7. MPC 2004: Stirling, Scotland, UK

• Greg Nelson:
  Extended Static Checking for Java. 1
  
• Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
  Constructing Polymorphic Programs with Quotient Types. 2-15
  
• Artem Alimarine, Sjaak Smetsers:
  Optimizing Generic Functions. 16-31
  
• Frank Atanassow, Johan Jeuring:
  Inferring Type Isomorphisms Generically. 32-53
  
• Michael Barnett, David A. Naumann:
  Friends Need a Bit More: Maintaining Invariants Over Shared State. 54-84
  
• Nils Anders Danielsson, Patrik Jansson:
  Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. 85-109
  
• Therrezinha Fernandes, Jules Desharnais:
  Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. 110-128
  
• Hitoshi Furusawa:
  A Free Construction of Kleene Algebras with Tests. 129-141
  
• Jeremy Gibbons:
  Streaming Representation-Changers. 142-168
  
• Eric C. R. Hehner:
  Probabilistic Predicative Programming. 169-185
  
• Ralf Hinze:
  An Algebra of Scans. 186-210
  
• Graham Hutton, Joel Wright:
  Compiling Exceptions Correctly. 211-227
  
• Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
  Modelling Nondeterminism. 228-251
  
• Bernhard Möller:
  Lazy Kleene Algebra. 252-273
  
• Joseph M. Morris:
  Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. 274-288
  
• Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
  An Injective Language for Reversible Computation. 289-313
  
• Ulf Norell, Patrik Jansson:
  Prototyping Generic Programming in Template Haskell. 314-333
  
• José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues:
  Transposing Relations: From Maybe Functions to Hash Tables. 334-356
  
• Birgit Schieder:
  Pointer Theory and Weakest Preconditions without Addresses and Heap. 357-380
  
• Xinbei Tang, Jim Woodcock:
  Travelling Processes. 381-399