Erlang Programming Important People in the Best of the Web Directory

Erlang Programming Important People

Computer Science Laboratory

Collection of programming projects, papers and other useful resources.

Philip Wadler

Explains the relation between logic and typed lambda calculus.

Submit a site to this category