Sciweavers

10871 search results - page 337 / 2175

» A stable programming language

131

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

16 years 7 days ago

Termination Analysis of Higher-Order Functional Programs

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

127

CEFP
2005
Springer

68views Programming Languages» more CEFP 2005»

The Essence of Dataflow Programming

16 years 7 days ago

The Essence of Dataflow Programming

Download www.comlab.ox.ac.uk

Tarmo Uustalu, Varmo Vene

claim paper

Read More »

111

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

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

16 years 6 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 »

120

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

16 years 6 days ago

Analysis and Optimization of CHR Programs

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

127

PPDP
2005
Springer

72views Programming Languages» more PPDP 2005»

Timed constraint programming: a declarative approach to usage control

16 years 5 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 »