Searching for authors named "Aleksandar Nanevski" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
