Search Sciweavers | Sciweavers

5090 search results - page 13 / 1018

» Constructing Strategies for Programming

284

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

16 years 7 months ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

149

click to vote

POPL
1993
ACM

141views Programming Languages» more POPL 1993»

Constructing Call Multigraphs Using Dependence Graphs

15 years 11 months ago

Download www.cacs.louisiana.edu

Arun Lakhotia

claim paper

Read More »

156

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 11 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

155

Voted

HASKELL
2008
ACM

128views Programming Languages» more HASKELL 2008»

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

15 years 8 months ago

Download www.haskell.org

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

claim paper

Read More »

142

click to vote

LLC
2010

113views Programming Languages» more LLC 2010»

Construction Morphology

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers