Sciweavers

35 search results - page 1 / 7

» icfp 2008

60

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

15 years 10 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

49

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

15 years 10 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

69

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

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

15 years 10 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 »

60

ICFP
2008
ACM

118views Programming Languages» more ICFP 2008»

FPH: first-class polymorphism for Haskell

15 years 10 months ago

FPH: first-class polymorphism for Haskell

Download www.cis.upenn.edu

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

claim paper

Read More »

64

ICFP
2008
ACM

121views Programming Languages» more ICFP 2008»

Report on the tenth ICFP programming contest

15 years 10 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 »