Version française
Home     About     Download     Resources     Contact us    
Browse thread
Comparison of OCaml and MLton for numerics
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Erick Tryzelaar <erickt@d...>
Subject: Re: [Caml-list] Comparison of OCaml and MLton for numerics
skaller wrote:
> On Fri, 2007-06-01 at 11:36 +1000, Erik de Castro Lopo wrote:
>   
>> skaller wrote:
>>
>>     
>>> Someone (as usual no URL sorry) wrote a paper roughly titled
>>> 'guaranteed optimisations' which is actually an interesting
>>> perspective on this whole scenario.
>>>       
>> I found a bunch of slides titled "The Guaranteed Optimization
>> Clause of the Macro-Writer's Bill of Rights":
>>
>>    http://www.cs.indiana.edu/~chaynes/danfest/dyb.pdf
>>     
>
> The paper i think of was a master or PhD thesis..
>
>   

How about this one?

Guaranteed Optimization for Domain-Specific Programming
http://citeseer.ist.psu.edu/veldhuizen03guaranteed.html