Atlas home || Conferences | Abstracts | about Atlas
Host: Ågrenska Villan
Sponsor: APPSEM and TYPES
Homepage: http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/dtp99.html
Email: dtp99@cs.chalmers.se
Organizers: Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith, Björn von Sydow, Birgitta Magnusson
Description:
This workshop intends to bring together researchers from the two ESPRIT Working Groups Applied Semantics (APPSEM) (especially those working on topics B, C, D, E and G) and TYPES. to analyze the different forms of dependencies that arise in the context of programming languages or their extensions. Position statement by Eugenio Moggi. to report on experiences using dependent types in programming; to discuss the applications of dependent types to the design of module systems; to explore the possibility of technology transfer from type theory and type-theory based logical frameworks; to transfer ideas from traditional functional languages to functional languages with dependent types and to proof systems for dependent type theory; to identify open issues that need further research.
Date received: February 06, 1999, revised June 10, 2004
© 2008 Atlas Conferences Inc.