Projects per year
Abstract
We present a logic for reasoning about parametric polymorphism in combination with arbitrary computational effects (nondeterminism, exceptions, continuations, side-effects etc.). As examples of reasoning in the logic, we show how to verify correctness of polymorphic type encodings in the presence of effects.
| Original language | English |
|---|---|
| Title of host publication | Types for Proofs and Programs |
| Subtitle of host publication | International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers |
| Publisher | Springer-Verlag GmbH |
| Pages | 142-156 |
| Number of pages | 15 |
| Volume | 4941 |
| ISBN (Electronic) | 978-3-540-68103-8 |
| ISBN (Print) | 978-3-540-68084-0 |
| DOIs | |
| Publication status | Published - 2008 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Berlin / Heidelberg |
| Volume | 4941 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Fingerprint
Dive into the research topics of 'A logic for parametric polymorphism with effects'. Together they form a unique fingerprint.Projects
- 1 Finished