search result

Cover von Relational Parametricity for Higher Kinds

Relational Parametricity for Higher Kinds

Year: 2012
Media group: ARTICLE
Cover von Vehicle

Vehicle

Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk)
Year: 2025
Media group: LIPIcs
Cover von Models for Polymorphism over Physical Dimension

Models for Polymorphism over Physical Dimension

Year: 2015
Media group: LIPIcs
Cover von Continuation Passing Style for Effect Handlers

Continuation Passing Style for Effect Handlers

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0