Search Sciweavers | Sciweavers

5090 search results - page 13 / 1018

» Constructing Strategies for Programming

188

Voted

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

16 years 21 days ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

Voted

POPL
1993
ACM

141views Programming Languages» more POPL 1993»

Constructing Call Multigraphs Using Dependence Graphs

15 years 4 months ago

Download www.cacs.louisiana.edu

Arun Lakhotia

claim paper

Read More »

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 4 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

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 1 months ago

Download www.haskell.org

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

claim paper

Read More »

Voted

LLC
2010

113views Programming Languages» more LLC 2010»

Construction Morphology

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers