Sciweavers

10871 search results - page 337 / 2175

» A stable programming language

159

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

16 years 29 days ago

Termination Analysis of Higher-Order Functional Programs

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

138

CEFP
2005
Springer

68views Programming Languages» more CEFP 2005»

The Essence of Dataflow Programming

16 years 29 days ago

The Essence of Dataflow Programming

Download www.comlab.ox.ac.uk

Tarmo Uustalu, Varmo Vene

claim paper

Read More »

124

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code

16 years 28 days ago

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code

Download okmij.org

Jacques Carette, Oleg Kiselyov

claim paper

Read More »

137

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

16 years 28 days ago

Analysis and Optimization of CHR Programs

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

146

Voted

PPDP
2005
Springer

72views Programming Languages» more PPDP 2005»

Timed constraint programming: a declarative approach to usage control

16 years 27 days ago

Timed constraint programming: a declarative approach to usage control

Download fpl.cs.depaul.edu

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...

claim paper

Read More »

« Prev « First page 337 / 2175 Last » Next »