Documentation for polyrec_sml : an extension of SML with typechecking for polymorphic recursion
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
41 S.
- Language
-
Englisch
- Bibliographic citation
-
CIS-Bericht / Centrum für Informations- und Sprachverarbeitung ; 88
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
CIS
- (when)
-
[1995]
- Creator
-
Emms, Martin
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:48 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Emms, Martin
- CIS
Time of origin
- [1995]
Other Objects (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