The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aleksandar Nanevski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Aleksandar Nanevski
    Meta-programming with names and necessity. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:206-217 [Conf]
  2. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
    Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:217-228 [Conf]
  3. Aleksandar Nanevski, Greg Morrisett, Lars Birkedal
    Polymorphism and separation in hoare type theory. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:62-73 [Conf]
  4. Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning
    A modal foundation for meta-variables. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  5. Aleksandar Nanevski
    From dynamic binding to state via modal possibility. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:207-218 [Conf]
  6. Aleksandar Nanevski, Frank Pfenning
    Staged computation with names and necessity. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:5, pp:893-939 [Journal]
  7. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
    Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:379-400 [Journal]
  8. Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
    Abstract Predicates and Mutable ADTs in Hoare Type Theory. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:189-204 [Conf]

  9. A Realizability Model for Impredicative Hoare Type Theory. [Citation Graph (, )][DBLP]


  10. Ynot: dependent types for imperative programs. [Citation Graph (, )][DBLP]


  11. Structuring the verification of heap-manipulating programs. [Citation Graph (, )][DBLP]


  12. Towards type-theoretic semantics for transactional concurrency. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002