Searching for authors named "Aleksandar Nanevski" – sorted by Relevance.
-
A Modal Calculus for Effect Handling
- A Modal Calculus for E#ect Handling Aleksandar Nanevski June 30, 2003 CMU-CS-03-149 School
- Cited by 6 (1 self) – Add To MetaCart
-
Meta-Programming with Names and Necessity
- and Necessity ALEKSANDAR NANEVSKI and FRANK PFENNING Carnegie Mellon University, Pittsburgh, PA 15213, USA (e
- Cited by 28 (2 self) – Add To MetaCart
-
Functional Programming with Names and Necessity
- Functional Programming with Names and Necessity Aleksandar Nanevski June 2004 CMU-CS-04-151 School
- Cited by 6 (2 self) – Add To MetaCart
-
Staged Computation with Names and Necessity
- and Necessity ALEKSANDAR NANEVSKI and FRANK PFENNING Carnegie Mellon University, Pittsburgh, PA 15213, USA (e
- Cited by 4 (1 self) – Add To MetaCart
-
A Modal Foundation for Meta-Variables
- A Modal Foundation for Meta-Variables Aleksandar Nanevski, Brigitte Pientka, and Frank Pfenning
- Cited by 3 (1 self) – Add To MetaCart
-
Contextual Model Type Theory
- Contextual Modal Type Theory ALEKSANDAR NANEVSKI Harvard University and FRANK PFENNING Carnegie
- Cited by 1 (0 self) – Add To MetaCart
-
Automatic Generation of Staged Geometric Predicates
- Automatic Generation of Staged Geometric Predicates Aleksandar Nanevski, Guy Blelloch and Robert
- Cited by 3 (0 self) – Add To MetaCart
-
Abstract predicates and mutable ADTs in Hoare type theory
- Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg
- Cited by 25 (12 self) – Add To MetaCart
-
Structuring the verification of
- Structuring the verification of heap-manipulating programs Aleksandar Nanevski Viktor Vafeiadis
- Add To MetaCart
-
Polymorphism and separation in Hoare type theory
- Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Lars Birkedal
- Cited by 34 (7 self) – Add To MetaCart

