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.
Posted by Andris Birkmanis at 12:02

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

My photo
Andris Birkmanis
Riga, Latvia
View my complete profile