ICFP 2009 | Sciweavers

44

click to vote

ICFP
2009
ACM

106views Programming Languages» more ICFP 2009»

Generic programming with fixed points for mutually recursive datatypes

14 years 6 months ago

Download sneezy.cs.nott.ac.uk

Alexey Rodriguez Yakushev, Andres Löh, Johan ...

claim paper

Read More »

48

click to vote

ICFP
2009
ACM

107views Programming Languages» more ICFP 2009»

A theory of typed coercions and its applications

14 years 6 months ago

Download research.microsoft.com

A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...

Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman

claim paper

Read More »

38

click to vote

ICFP
2009
ACM

139views Programming Languages» more ICFP 2009»

Partial memoization of concurrency and communication

14 years 6 months ago

Download www.cs.purdue.edu

Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jaga...

claim paper

Read More »

43

click to vote

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

14 years 6 months ago

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers