Comments on: Sub and Poly, two new additions to the PL Zoo http://math.andrej.com/2008/09/14/sub-and-poly-two-new-additions-to-the-pl-zoo/ Mathematics for computers Mon, 30 Jan 2012 07:14:48 +0000 hourly 1 http://wordpress.org/?v=3.2-beta2-18055 By: A language which does term inference « XOR’s Hammer http://math.andrej.com/2008/09/14/sub-and-poly-two-new-additions-to-the-pl-zoo/comment-page-1/#comment-9940 A language which does term inference « XOR’s Hammer Wed, 08 Oct 2008 01:49:34 +0000 http://math.andrej.com/?p=95#comment-9940 [...] have another hosting service at the moment). It’s a modification of the toy language Poly from Andrej Bauer’s Programming Language Zoo. You’ll need OCaml to compile it. Please [...] [...] have another hosting service at the moment). It’s a modification of the toy language Poly from Andrej Bauer’s Programming Language Zoo. You’ll need OCaml to compile it. Please [...]

]]>