Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fortgeschrittenenpraktikum Implementierung eines Type Checkers fur das
 

Summary: Fortgeschrittenenpraktikum
Implementierung eines Type Checkers f®ur das
System F
Jan Peter Gutzmann
19.12.03
Inhaltsverzeichnis
1 Einleitung 3
1.1 Der Lambda-Kalk®ul . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Der Ungetypte Lambda-Kalk®ul . . . . . . . . . . . . . . . 4
1.1.2 De Bruijn-Repr®asentation . . . . . . . . . . . . . . . . . . 5
1.1.3 Der Getypte Lambda-Kalk®ul . . . . . . . . . . . . . . . . 5
1.2 Ziele des Fortgeschrittenenpraktikums . . . . . . . . . . . . . . . 6
2 Das System F 7
2.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Typ-Abstraktion und Typ-Applikation . . . . . . . . . . . . . . . 7
2.3 Funktionen auf Typ-Ebene . . . . . . . . . . . . . . . . . . . . . 8
2.4 Kinds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 System F . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Details der Implementierung 10
3.1 Datenstruktur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences