Re: [Caml-list] Include question

2011-11-09 Thread Vincent Aravantinos
On 11/09/2011 02:29 AM, Cedric Cellier wrote: For some reasons though, despite functors being one of the greatest strength of the language, we do seam shy to use, recommand or brag about them. I wonder if this is due to the lack of proper documentation ? I don't think there is a lack of

[Caml-list] Tenure-track position at Nagoya University

2011-11-09 Thread sakai
Call for Applications Dear All, Application deadline for the position at associate professor level in the field of foundation of software science (in particular, rewriting computation and its application) has been extended. New deadline is November 15, 2011 (JST).