search result

Cover von HoTT Operads

HoTT Operads

Year: 2026
Media group: LIPIcs
Cover von Mathematics of Program Construction
13th International Conference, MPC 2019, Porto, Portugal, October 7 - 9, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11825
Media group: MONOGRAPHIE
Cover von Special double issue on Haskell; 4/5
S. 293 - 510
Search for this author
Year: 2002
Publisher: Cambridge, Cambridge University Press
Count: 4/5
Media group: SPECIAL ISSUE
Cover von Functional programming, Glasgow 1990
proceedings of the 1990 Glasgow workshop on functional programming, 13 - 15 August 1990, Ullapool, Scotland
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Workshops in computing
Media group: MONOGRAPHIE
OPEN V 11.1.0.0