Documentation for polyrec_sml : an extension of SML with typechecking for polymorphic recursion
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
41 S.
- Sprache
-
Englisch
- Erschienen in
-
CIS-Bericht / Centrum für Informations- und Sprachverarbeitung ; 88
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
CIS
- (wann)
-
[1995]
- Urheber
-
Emms, Martin
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:48 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Emms, Martin
- CIS
Entstanden
- [1995]
Ähnliche Objekte (12)
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
KOMBE : communication aids for the handicapped
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
Computerlinguistische Analyse mehrsprachiger Fachtexte
Optimierte stochastische Sprachmodellierung auf linguistischen Klassen : OSLC-Sprachmodellierung
Aufbau einer kontrastiven, französisch-deutschen Lexikongrammatik am Beispiel der Kommunikationsverben
Un système d'acquisition lexicale pour le projet KOMBE
Formale Sprachen und Automaten : [Vorlesung, WS 1993/94]
Linguistische Merkmaltheorien und ihre Implementierung
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
Bereiche einer verallgemeinerten Mengenlehre zur Modellierung nichtfundierter Strukturen
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
KOMBE : communication aids for the handicapped
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
Computerlinguistische Analyse mehrsprachiger Fachtexte
Optimierte stochastische Sprachmodellierung auf linguistischen Klassen : OSLC-Sprachmodellierung
Aufbau einer kontrastiven, französisch-deutschen Lexikongrammatik am Beispiel der Kommunikationsverben
Un système d'acquisition lexicale pour le projet KOMBE
Formale Sprachen und Automaten : [Vorlesung, WS 1993/94]
Linguistische Merkmaltheorien und ihre Implementierung
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
Bereiche einer verallgemeinerten Mengenlehre zur Modellierung nichtfundierter Strukturen
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
KOMBE : communication aids for the handicapped
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
Computerlinguistische Analyse mehrsprachiger Fachtexte
Optimierte stochastische Sprachmodellierung auf linguistischen Klassen : OSLC-Sprachmodellierung
Aufbau einer kontrastiven, französisch-deutschen Lexikongrammatik am Beispiel der Kommunikationsverben
Un système d'acquisition lexicale pour le projet KOMBE
Formale Sprachen und Automaten : [Vorlesung, WS 1993/94]
Linguistische Merkmaltheorien und ihre Implementierung
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken