|
Conferences in DBLP
- Greg Nelson
Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:1- [Conf]
- 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]
- Artem Alimarine, Sjaak Smetsers
Optimizing Generic Functions. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:16-31 [Conf]
- Frank Atanassow, Johan Jeuring
Inferring Type Isomorphisms Generically. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:32-53 [Conf]
- 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]
- 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]
- Therrezinha Fernandes, Jules Desharnais
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:110-128 [Conf]
- Hitoshi Furusawa
A Free Construction of Kleene Algebras with Tests. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:129-141 [Conf]
- Jeremy Gibbons
Streaming Representation-Changers. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:142-168 [Conf]
- Eric C. R. Hehner
Probabilistic Predicative Programming. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:169-185 [Conf]
- Ralf Hinze
An Algebra of Scans. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:186-210 [Conf]
- Graham Hutton, Joel Wright
Compiling Exceptions Correctly. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:211-227 [Conf]
- Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
Modelling Nondeterminism. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:228-251 [Conf]
- Bernhard Möller
Lazy Kleene Algebra. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:252-273 [Conf]
- Joseph M. Morris
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:274-288 [Conf]
- Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:289-313 [Conf]
- Ulf Norell, Patrik Jansson
Prototyping Generic Programming in Template Haskell. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:314-333 [Conf]
- 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]
- Birgit Schieder
Pointer Theory and Weakest Preconditions without Addresses and Heap. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:357-380 [Conf]
- Xinbei Tang, Jim Woodcock
Travelling Processes. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:381-399 [Conf]
|