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

14 years 1 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

14 years 21 days 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

14 years 18 days 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

14 years 16 days ago

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

click to vote

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

12 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers