Sciweavers

10585 search results - page 21 / 2117

» The Orc Programming Language

213

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

An abstract Monte-Carlo method for the analysis of probabilistic programs

16 years 3 months ago

An abstract Monte-Carlo method for the analysis of probabilistic programs

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

85

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

16 years 3 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

103

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

16 years 3 months ago

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

107

Voted

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

15 years 10 months ago

Efficient parallel programming in Poly/ML and Isabelle/ML

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

101

Voted

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 10 months ago

Programming Models for Concurrency and Real-Time

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

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