Sciweavers

32 search results - page 2 / 7
» icfp 2007
Sort
View
ICFP
2008
ACM
14 years 5 months ago
Report on the tenth ICFP programming contest
The Tenth Annual ICFP Programming Contest was a 72-hour contest held July 20?23 2007 and organised in conjunction with the 12th ACM SIGPLAN International Conference on Functional ...
Alexey Rodriguez, Andres Löh, Arie Middelkoop...
ICFP
2010
ACM
13 years 6 months ago
Combining syntactic and semantic bidirectionalization
Matsuda et al. [2007, ICFP] and Voigtl
Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat...
ICFP
2007
ACM
13 years 9 months ago
Experience report: the reactis validation tool
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
Steve Sims, Daniel C. DuVarney
ICFP
2007
ACM
14 years 5 months ago
Experience report: building an eclipse-based IDE for Haskell
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
Leif Frenzel
ICFP
2007
ACM
14 years 5 months ago
Experience report: scheme in commercial web application development
Over the past year Untyped has developed some 40'000 lines of Scheme code for a variety of web-based applications, which receive over 10'000 hits a day. This is, to our ...
Noel Welsh, David Gurnell