dblp.uni-trier.dewww.uni-trier.de

Aleksandar Nanevski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Amal Ahmed (Amal J. Ahmed) [8]
2Lars Birkedal [7] [8] [9] [11] [12]
3Guy E. Blelloch [1] [3]
4Paul Govereau [11] [13]
5Robert Harper [1] [3]
6J. Gregory Morrisett (Greg Morrisett) [7] [8] [9] [11] [12] [13]
7Rasmus Lerchedahl Petersen [12]
8Frank Pfenning [5] [6] [10]
9Brigitte Pientka [5] [10]
10Avraham Shinnar [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)