search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 363, CSL 2026, Complete Volume

LIPIcs, Volume 363, CSL 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 34th EACSL Annual Conference on Computer Science Logic
CSL 2026, Paris, France, February 23-28, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 363
Media group: LIPIcs
Cover von The optimal implementation of functional programming languages
Author: Asperti, Andrea; Guerrini, Stefano Search for this author
Year: 1998
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 45
Media group: MONOGRAPHIE
Cover von Is the Optimal Implementation Inefficient? Elementarily Not

Is the Optimal Implementation Inefficient? Elementarily Not

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0