Details
Title
Petrashko, Dmytro
Sciper ID
233192
Affiliated labs
LAMP
Publications
A TASTY Alternative
Auto-Collections for Scala
BlitzViews - lazy parallel operations for Scala collections
Call Graphs for Languages with Parametric Polymorphism
Call-graph-based Optimizations in Scala
Common Subexpression Elimination in Dotty
Implementing Higher-Kinded Types in Dotty
Implementing Method Type Specialisation In Dotty
Miniphases: Compilation using Modular and Efficient Tree Transformations
TASTY Reference Manual
See complete list of publications (12)
Auto-Collections for Scala
BlitzViews - lazy parallel operations for Scala collections
Call Graphs for Languages with Parametric Polymorphism
Call-graph-based Optimizations in Scala
Common Subexpression Elimination in Dotty
Implementing Higher-Kinded Types in Dotty
Implementing Method Type Specialisation In Dotty
Miniphases: Compilation using Modular and Efficient Tree Transformations
TASTY Reference Manual
See complete list of publications (12)
Link to search
All resources
Record appears in
Authorities > People