Conferences in DBLP

Mathematics of Program Construction (MPC) (mpc)
2004 (conf/mpc/2004)

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