Dualizing Generalized Algebraic Data Types by Matrix Transposition

DSpace Repository

Dualizing Generalized Algebraic Data Types by Matrix Transposition

Author: Ostermann, Klaus; Jabs, Julian
Tübinger Autor(en):
Ostermann, Klaus
Jabs, Julian
Issue year: 2018-04
Series: Lecture Notes in Computer Science;10801
Verlagsangabe: Cham: Springer
Language: English
Full text: http://dx.doi.org/10.1007/978-3-319-89884-1_3
ISBN: 978-3-319-89883-4
978-3-319-89884-1
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: BookPart
ConferenceObject
Published in: Ahmed A. (eds) Programming Languages and Systems. ESOP 2018
Page range: 60-85
Show full item record

This item appears in the following Collection(s)