This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Softwaretechnik und Programmiersprachen »
Software & Systems Engineering »
Veröffentlichungen »
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