Search Sciweavers | Sciweavers

4716 search results - page 14 / 944

» Tangible functional programming

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 1 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

click to vote

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

15 years 1 months ago

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

click to vote

CTCS
1991
Springer

73views Programming Languages» more CTCS 1991»

Stone Duality for Stable Functions

15 years 1 months ago

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

click to vote

ERLANG
2008
ACM

166views Programming Languages» more ERLANG 2008»

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

14 years 11 months ago

Download www.erlang-solutions.com

Francesco Cesarini, Viviana Pappalardo, Corrado Sa...

claim paper

Read More »

112

click to vote

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers