Search Sciweavers | Sciweavers

9595 search results - page 71 / 1919

» Functional programming in C

118

Voted

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 »

127

click to vote

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

15 years 8 months ago

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

135

Voted

CTCS
1991
Springer

73views Programming Languages» more CTCS 1991»

Stone Duality for Stable Functions

15 years 8 months ago

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

116

click to vote

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 »

173

click to vote

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers