Sciweavers

10585 search results - page 327 / 2117

» The Orc Programming Language

118

PPDP
2007
Springer

90views Programming Languages» more PPDP 2007»

Nonmonotonic inductive logic programming by instance patterns

15 years 11 months ago

Nonmonotonic inductive logic programming by instance patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

111

Voted

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

15 years 10 months ago

Termination Analysis of Higher-Order Functional Programs

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

103

Voted

CEFP
2005
Springer

68views Programming Languages» more CEFP 2005»

The Essence of Dataflow Programming

15 years 10 months ago

The Essence of Dataflow Programming

Download www.comlab.ox.ac.uk

Tarmo Uustalu, Varmo Vene

claim paper

Read More »

91

Voted

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

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

15 years 10 months 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 »

99

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

15 years 10 months ago

Analysis and Optimization of CHR Programs

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

« Prev « First page 327 / 2117 Last » Next »