Schema-guided inductive functional programming through automatic detection of type morphisms
Hofmann, Martin
- Link zu diesem Datensatz
-
https://d-nb.info/1010445960
- Titel
-
Schema-guided inductive functional programming through automatic detection of type morphisms
- Art des Inhalts
- Monographie
- Verfassangaben
- Martin Hofmann
- Autor
-
Hofmann, Martin
- Zeitliche Einordnung
- Erscheinungsdatum: 2010
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:473-opus-2981
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Bamberg, Univ., Diss., 2010
- Stand
- 19.12.2025 07:21
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
← Zurück zur Startseite