Dualizing Generalized Algebraic Data Types by Matrix Transposition

Autor(en):

Ostermann, Klaus; Jabs, Julian

Tübinger Autor(en):

Erscheinungsjahr:

2018-04

Reihe:

Lecture Notes in Computer Science;10801

Verlagsangabe:

Cham: Springer

Sprache:

Englisch

Referenz zum Volltext:

ISBN:

978-3-319-89883-4
978-3-319-89884-1

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Teil eines Buches
Konferenzveröffentlichung

Erschienen in:

Ahmed A. (eds) Programming Languages and Systems. ESOP 2018

Seitenbereich:

60-85

Das Dokument erscheint in: