Structural Induction Principles for Functional Programmers (Englisch)
Freier Zugriff
- Neue Suche nach: Caldwell, James
- Neue Suche nach: Caldwell, James
2013
- Preprint / Elektronische Ressource
-
Titel:Structural Induction Principles for Functional Programmers
-
Beteiligte:Caldwell, James ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: arXiv
-
Erscheinungsdatum:2013
-
Anmerkungen:In Proceedings TFPIE 2013, arXiv:1312.2216
-
DOI:
-
Medientyp:Preprint
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Lizenzbestimmungen:
-
Datenquelle: