Search Sciweavers | Sciweavers

1932 search results - page 12 / 387

» A Functional Quantum Programming Language

118

click to vote

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 8 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

117

Voted

ERLANG
2008
ACM

166views Programming Languages» more ERLANG 2008»

A comparative evaluation of imperative and functional implementations of the imap protocol

15 years 6 months ago

Download www.erlang-solutions.com

Francesco Cesarini, Viviana Pappalardo, Corrado Sa...

claim paper

Read More »

250

click to vote

Book

351views

The Implementation of Functional Programming Languages

17 years 2 months ago

Download research.microsoft.com

A great book about the Implementation of Functional Programming Languages.

Simon Peyton Jones

posted by scimaster

Read More »

111

click to vote

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

16 years 4 months ago

Download www.cs.purdue.edu

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

claim paper

Read More »

109

click to vote

ESOP
2010
Springer

148views Programming Languages» more ESOP 2010»

Functional Programming in Sublinear Space

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers