Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS from ionial with tags theory & toread

January 2007

Comparative advantage - Wikipedia, the free encyclopedia

economics theory wikipedia finance toread now

Goedel's Theorem - Apronus.com

godel theory math online toread now

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)

math theory computing toread McCarthy now

A Basis for a Mathematical Theory of Computation ( 4-Jun-1996)

Papers math theory computing McCarthy toread now

Изучение знаменитых (и не очень знаменитых) ошибок. Глава из книги "Наука отладки"

citforum ebooks books toread now computers theory

PlanetMath: Russell's theory of types

math types theory russell toread

Safe Kernel Extensions Without Run-Time Checking

kernel theory computer-science toread safety paper now

Bananas in Space: Extending Fold and Unfold to Exponential Types - Meijer, Hutton (ResearchIndex)

Papers toread types theory cs now

An Extended Calculus of Constructions - Luo (ResearchIndex)

research types Papers theory math toread

Inductive types in constructive languages

cs math types toread now theory

Lambda Associates Home Page

lisp Qi languages functional programming prolog theory opensource development toread

This FTP site

by 1 other

programming cs theory toread now people lisp haskell algorithms oop

Essentials of Programming Languages, 2nd ed

has 3rd edition also

programming books languages theory toread tosave now lisp

December 2006

Types and Programming Languages

by 1 other

programming books types languages theory computer-science toread tosave

Online algorithm - Wikipedia, the free encyclopedia

online algorithms computer-science theory toread

Concepts, Techniques, and Models of Computer Programming

books computer-science programming toread theory now tosave

Programming Languages: Application and Interpretation by Shriram Krishnamurthi

by 1 other

computers ProgLangs theory unread toread books programming tosave ebooks

September 2006

1 (18 marks)

ionial's TAGS related to tag theory