Recent Changes · Search:

Functional Programming

Type Inference

  • Type-driven Program Synthesis

Toss

  • (incorporates former Speagram)

Emacs

Kurs Pascala

Artificial General Intelligence

AI:

Algorithmic Game Theory: Prediction Markets (po polsku)

Programming in Java

kurs pracy w systemie Linux

Evolutionary Algorithms

Animation

Data Stores and Data Mining

Language Understanding

Systemy Inteligentnych Agentów

Przetwarzanie Języka Naturalnego

Programowanie Funkcjonalne

PmWiki

pmwiki.org

add user

edit SideBar

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).

Edit · History · Print · Recent Changes · Search · Links
Page last modified on May 24, 2008, at 12:02 AM