skip to main
|
skip to sidebar
A Vatful of Fluid
Random thoughts on theory of programming languages by
Andris Birkmanis
Tuesday, May 02, 2006
Maude
I am away reading
Maude 2.0 Primer
.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Links
Lambda: the Ultimate
Blog Archive
►
2008
(2)
►
February
(1)
►
January
(1)
►
2007
(34)
►
December
(3)
►
November
(4)
►
September
(2)
►
August
(5)
►
July
(3)
►
June
(2)
►
April
(1)
►
January
(14)
▼
2006
(29)
►
December
(3)
►
September
(3)
►
August
(1)
►
July
(2)
►
June
(2)
▼
May
(8)
Internal Type Theory
Open scheduler. Or open language?
Plain interpreter. No, compiler.
Typed Concurrent Programming with Logic Variables
Logical variables?
Backtracking
Software transactional memory = optimistic transac...
Maude
►
April
(10)
About Me
Andris Birkmanis
Riga, Latvia
View my complete profile
No comments:
Post a Comment