Solving type equations in multi-level specifications (preliminary version)

Authors
  • E. Visser
Publication date 1996
Series Technical Report, P9606
Publisher onbekend: onbekend (FdL)
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back