| 2009 |
|---|
| 13 | EE | Aleksandar Nanevski,
Paul Govereau,
Greg Morrisett:
Towards type-theoretic semantics for transactional concurrency.
TLDI 2009: 79-90 |
| 2008 |
|---|
| 12 | EE | Rasmus Lerchedahl Petersen,
Lars Birkedal,
Aleksandar Nanevski,
Greg Morrisett:
A Realizability Model for Impredicative Hoare Type Theory.
ESOP 2008: 337-352 |
| 11 | EE | Aleksandar Nanevski,
Greg Morrisett,
Avraham Shinnar,
Paul Govereau,
Lars Birkedal:
Ynot: dependent types for imperative programs.
ICFP 2008: 229-240 |
| 10 | EE | Aleksandar Nanevski,
Frank Pfenning,
Brigitte Pientka:
Contextual modal type theory.
ACM Trans. Comput. Log. 9(3): (2008) |
| 9 | EE | Aleksandar Nanevski,
J. Gregory Morrisett,
Lars Birkedal:
Hoare type theory, polymorphism and separation.
J. Funct. Program. 18(5-6): 865-911 (2008) |
| 2007 |
|---|
| 8 | EE | Aleksandar Nanevski,
Amal Ahmed,
Greg Morrisett,
Lars Birkedal:
Abstract Predicates and Mutable ADTs in Hoare Type Theory.
ESOP 2007: 189-204 |
| 2006 |
|---|
| 7 | EE | Aleksandar Nanevski,
Greg Morrisett,
Lars Birkedal:
Polymorphism and separation in hoare type theory.
ICFP 2006: 62-73 |
| 2005 |
|---|
| 6 | EE | Aleksandar Nanevski,
Frank Pfenning:
Staged computation with names and necessity.
J. Funct. Program. 15(5): 893-939 (2005) |
| 2003 |
|---|
| 5 | EE | Aleksandar Nanevski,
Brigitte Pientka,
Frank Pfenning:
A modal foundation for meta-variables.
MERLIN 2003 |
| 4 | EE | Aleksandar Nanevski:
From dynamic binding to state via modal possibility.
PPDP 2003: 207-218 |
| 3 | EE | Aleksandar Nanevski,
Guy E. Blelloch,
Robert Harper:
Automatic Generation of Staged Geometric Predicates.
Higher-Order and Symbolic Computation 16(4): 379-400 (2003) |
| 2002 |
|---|
| 2 | EE | Aleksandar Nanevski:
Meta-programming with names and necessity.
ICFP 2002: 206-217 |
| 2001 |
|---|
| 1 | | Aleksandar Nanevski,
Guy E. Blelloch,
Robert Harper:
Automatic Generation of Staged Geometric Predicates.
ICFP 2001: 217-228 |
