[PRL] Cache and I/O Efficient Functional Algorithms

[Matthias Felleisen]

It appears to be one more step in the Greiner-Spoonhower series of approaches to measure 'performance' via cost models at the CESK level. Will's work on PITCalls fits in too -- Matthias




On Aug 28, 2012, at 7:52 AM, Mitchell Wand wrote:

> Interesting-looking paper from Bob Harper (not involving type theory!)  --Mitch
> 
> http://www.cs.cmu.edu/~rwh/papers/iolambda/short.pdf _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20120828/2052bbe8/attachment.bin