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 tag theory

25 January 2007

Comparative advantage - Wikipedia, the free encyclopedia

economics theory wikipedia finance toread now

17 January 2007

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

10 January 2007

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

citforum ebooks books toread now computers theory

Rice's theorem

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

Downloadable Publications

download ebooks theory math Papers portals tosave tofile

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

Papers toread types theory cs now

CCured Documentation

c programming tools OCaml verification theory work tocheck

An Extended Calculus of Constructions - Luo (ResearchIndex)

research types Papers theory math toread

Inductive types in constructive languages

cs math types toread now theory

08 January 2007

Lambda Associates Home Page

lisp Qi languages functional programming prolog theory opensource development toread

07 January 2007

This FTP site

by 1 other

programming cs theory toread now people lisp haskell algorithms oop

The TLV Home Page

formal-methods cs theory modelchecking tocheck

NuSMV home page

verification smv formal-methods modelchecking theory tools cs science ctl tocheck

04 January 2007

CIS 500: Schedule

classes programming languages concepts theory tocheck

Essentials of Programming Languages, 2nd ed

has 3rd edition also

programming books languages theory toread tosave now lisp

21 December 2006

Types and Programming Languages

by 1 other

programming books types languages theory computer-science toread tosave

20 December 2006

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

06 December 2006

http://thesis.barzilay.org/

programming academia theory

Programming Languages: Application and Interpretation by Shriram Krishnamurthi

by 1 other

computers ProgLangs theory unread toread books programming tosave ebooks

26 November 2006

Programming Language Research Engine (PLRE.org)

by 1 other

search programming languages theory tocheck

12 (28 marks)

ionial's TAGS related to tag theory