From the Lukasz Stafiniak pages
An old work of mine with ideas around genetic programming, in Polish, with introduction translated to English:
Genetic Programming in Typed Languages (source).
The most relevant part, definitions from subchapter 2.2 (in English): Damas-Milner Type System: type inference and term generation (the well-known algorithm W and a proposed term generation algorithm C).
Copyright © 2005–2006 the Main wiki and its authors
Retrieved from http://ii.uni.wroc.pl/~lukstafi/pmwiki/index.php?n=Infer.Synthesis
Page last modified on May 24, 2008, at 12:02 AM