Search Sciweavers | Sciweavers

5415 search results - page 25 / 1083

» The Implementation of Functional Programming Languages

click to vote

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

15 years 3 months ago

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

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

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

119

click to vote

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers