- Calculi and type systems for functional,
object-oriented and concurrent (constraint) languages.
Type based diagnosis for untyped languages
and pragmatics of type inference (weak typing, set-based analysis, etc.)
Constraint systems (trees, feature trees, sets, types).
Implementation of type inference in (higher-order) constraint languages.
Static analysis and partial evaluation.
Virtual environments, distributed virtual reality, MUDS, etc.
Constraints and concurrency for computational linguistics
Negation in logic programming