Details
Title
Stucki, Sandro
Sciper ID
152185
Affiliated labs
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
See complete list of 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
See complete list of publications (12)
Link to search
All resources
Record appears in
Authorities > People