Notice détaillée
Titre
Stucki, Sandro
Sciper ID
152185
Laboratoires affiliés
LAMP
Publications
Approximations for Stochastic Graph Rewriting
Higher-Order Subtyping with Type Intervals
Simplicitly: Foundations and Applications of Implicit Function Types
Staged Parser Combinators for Efficient Data Processing
Staged parser combinators for efficient data processing
Stoic: Towards Disciplined Capabilities
The Essence of Dependent Object Types
What are the Odds? Probabilistic programming in Scala
Yin-Yang: Concealing the Deep Embedding of DSLs
Yin-yang: concealing the deep embedding of DSLs
Voir toutes les publications (12)
Higher-Order Subtyping with Type Intervals
Simplicitly: Foundations and Applications of Implicit Function Types
Staged Parser Combinators for Efficient Data Processing
Staged parser combinators for efficient data processing
Stoic: Towards Disciplined Capabilities
The Essence of Dependent Object Types
What are the Odds? Probabilistic programming in Scala
Yin-Yang: Concealing the Deep Embedding of DSLs
Yin-yang: concealing the deep embedding of DSLs
Voir toutes les publications (12)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People