Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

Computer Science »
Chairs »
»
Software & Systems Engineering »
Publications »
Type-checking AHEAD

Type-checking AHEAD

Axel Rauschmayer, Alexander Knapp, Martin Wirsing

Technischer Bericht 0406, Ludwig-Maximilians-Universität München, Institut für Informatik, 2004.

Links:

PDF