The SCEAS System
Navigation Menu

Conferences in DBLP

Advanced Courses (ac)
2000 (conf/ac/2000appsem)

  1. Gilles Barthe, Thierry Coquand
    An Introduction to Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:1-41 [Conf]
  2. Nick Benton, John Hughes, Eugenio Moggi
    Monads and Effects. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:42-122 [Conf]
  3. Pierre-Louis Curien
    Abstract Machines, Control, and Sequents. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:123-136 [Conf]
  4. Peter Dybjer, Andrzej Filinski
    Normalization and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:137-192 [Conf]
  5. Abbas Edalat, Reinhold Heckmann
    Computing with Real Numbers. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:193-267 [Conf]
  6. Cédric Fournet, Georges Gonthier
    The Join Calculus: A Language for Distributed Mobile Programming. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:268-332 [Conf]
  7. Martin Odersky
    An Introduction to Functional Nets. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:333-377 [Conf]
  8. Andrew M. Pitts
    Operational Semantics and Program Equivalence. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:378-412 [Conf]
  9. Didier Rémy
    Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:413-536 [Conf]
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