Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» PEPM 2012

click to vote

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

Well-typed narrowing with extra variables in functional-logic programming

12 years 13 days ago

Download federwin.sip.ucm.es

Francisco Javier López-Fraguas, Enrique Mar...

claim paper

Read More »

click to vote

PEPM
2012
ACM

278views Software Engineering» more PEPM 2012»

Ideas for connecting inductive program synthesis and bidirectionalization

12 years 13 days ago

Download www.iai.uni-bonn.de

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

claim paper

Read More »

click to vote

PEPM
2012
ACM

268views Software Engineering» more PEPM 2012»

Scala-virtualized

12 years 13 days ago

Download lampwww.epfl.ch

This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the beneﬁts of shallow and deep embed...

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin...

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers