default search action

combined dblp search
author search
venue search
publication search

ask others

7th MPC 2004: Stirling, Scotland, UK

> Home > Conferences and Workshops > MPC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2004
Dexter Kozen, Carron Shankland:
Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Lecture Notes in Computer Science 3125, Springer 2004, ISBN 3-540-22380-0
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Nelson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Nelson04
Greg Nelson:
Extended Static Checking for Java. 1
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AbbottAGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AbbottAGM04
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Constructing Polymorphic Programs with Quotient Types. 2-15
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AlimarineS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AlimarineS04
Artem Alimarine, Sjaak Smetsers:
Optimizing Generic Functions. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AtanassowJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AtanassowJ04
Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically. 32-53
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BarnettN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BarnettN04
Michael Barnett, David A. Naumann:
Friends Need a Bit More: Maintaining Invariants Over Shared State. 54-84
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DanielssonJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DanielssonJ04
Nils Anders Danielsson, Patrik Jansson:
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. 85-109
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/FernandesD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/FernandesD04
Therrezinha Fernandes, Jules Desharnais:
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. 110-128
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Furusawa04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Furusawa04
Hitoshi Furusawa:
A Free Construction of Kleene Algebras with Tests. 129-141
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Gibbons04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Gibbons04
Jeremy Gibbons:
Streaming Representation-Changers. 142-168
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hehner04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hehner04
Eric C. R. Hehner:
Probabilistic Predicative Programming. 169-185
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hinze04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hinze04
Ralf Hinze:
An Algebra of Scans. 186-210
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HuttonW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HuttonW04
Graham Hutton, Joel J. Wright:
Compiling Exceptions Correctly. 211-227
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MartinCR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MartinCR04
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
Modelling Nondeterminism. 228-251
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Moller04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Moller04
Bernhard Möller:
Lazy Kleene Algebra. 252-273
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Morris04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Morris04
Joseph M. Morris:
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. 274-288
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MuHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MuHT04
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. 289-313
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/NorellJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/NorellJ04
Ulf Norell, Patrik Jansson:
Prototyping Generic Programming in Template Haskell. 314-333
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/OliveiraR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/OliveiraR04
José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues:
Transposing Relations: From Maybe Functions to Hash Tables. 334-356
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Schieder04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Schieder04
Birgit Schieder:
Pointer Theory and Weakest Preconditions without Addresses and Heap. 357-380
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/TangW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/TangW04
Xinbei Tang, Jim Woodcock:
Travelling Processes. 381-399

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.