Sciweavers

3 search results - page 1 / 1
» pepm 2012
Sort
View
119
Voted
PEPM
2012
ACM
14 years 1 months ago
Well-typed narrowing with extra variables in functional-logic programming
Francisco Javier López-Fraguas, Enrique Mar...
188
Voted
PEPM
2012
ACM
14 years 1 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer
159
Voted
PEPM
2012
ACM
14 years 1 months ago
Scala-virtualized
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin...