Search Sciweavers | Sciweavers

45 search results - page 1 / 9

» jfp 2006

click to vote

JFP
2006

59views more JFP 2006»

Educational Pearl: 'Proof-directed debugging' revisited for a first-order version

14 years 10 months ago

Download ropas.snu.ac.kr

Kwangkeun Yi

claim paper

Read More »

Voted

JFP
2006

61views more JFP 2006»

Type-safe run-time polytypic programming

14 years 10 months ago

Download www.seas.upenn.edu

Stephanie Weirich

claim paper

Read More »

Voted

JFP
2006

69views more JFP 2006»

Functional Pearl: A program to solve Sudoku

14 years 10 months ago

Download www.cs.tufts.edu

Richard S. Bird

claim paper

Read More »

click to vote

JFP
2000

73views more JFP 2000»

Compilation of a specialized functional language for massively parallel computers

14 years 10 months ago

Download pop-art.inrialpes.fr

Pascal Fradet, Julien Mallet

claim paper

Read More »

click to vote

JFP
2000

75views more JFP 2000»

Do we need dependent types?

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers