APPSEM Workshop on

Subtyping & Dependent Types in Programming

7th July 2000

Ponte de Lima, Portugal

Check the proceedings.


The workshop is to be held in conjunction with MPC'2000. The aim of the workshop is to bring together researchers in the area of programming languages and proof systems. The workshop is supported by the ESPRIT WG APPSEM (Applied Semantics), but is aimed at all researchers in the area, including those which are not formally involved in APPSEM.

The emphasis of the workshop will be the use of novel type systems in programming languages and proof systems. We particularly seek for contributions in the areas of subtypes and dependent types in programming.

Topics include (but are not limited to):

Invited Speakers

Programme Committee

Related links