Search Sciweavers | Sciweavers

11909 search results - page 38 / 2382

» The Scheme Programming Language

152

Voted

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

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

16 years 6 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

154

click to vote

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

16 years 1 months ago

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

137

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

16 years 1 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

144

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 1 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

142

Voted

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers