Sciweavers

35 search results - page 1 / 7

» icfp 2008

96

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 2 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

75

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

16 years 2 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

96

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

16 years 2 months ago

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

Download babel.ls.fi.upm.es

Juan José Moreno-Navarro, Pablo Nogueira

claim paper

Read More »

88

ICFP
2008
ACM

118views Programming Languages» more ICFP 2008»

FPH: first-class polymorphism for Haskell

16 years 2 months ago

FPH: first-class polymorphism for Haskell

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...

claim paper

Read More »

94

ICFP
2008
ACM

121views Programming Languages» more ICFP 2008»

Report on the tenth ICFP programming contest

16 years 2 months ago

Report on the tenth ICFP programming contest

Download people.cs.uu.nl

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...

claim paper

Read More »

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