Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Manuel Simoni's blog about programming (languages).
Archives
-
▼
2012
(85)
-
▼
August
(8)
- Mozilla Memes
- Switching between TCO and non-TCO at runtime
- Delimited continuations do dynamic-wind
- Scheme's missing ingredient: first-class type tags
- When I'm trying to read an operational semantics
- Understanding metacontinuations for delimited control
- An alternative API for continuations
- Continuation marks
-
▼
August
(8)
Linkroll
- Alarming Development
- Alex Payne — Online Writing
- Arcane Sentiment
- Awelon Blue
- blog.might.net
- Dependent Types Reddit
- Dynamic Aspects
- eighty-twenty
- Existential Type
- Hack the Planet
- HXA7241
- Kazimir Majorinc's Lisp Notes
- Lambda the Ultimate
- Linux Weekly News
- Loper OS
- Luke Gorrie's weblog
- Making it stick.
- One Mistake After Another
- Paul Graham
- Paul Snively's Blog
- Philosophy Made Manifest
- PiLuD: Programming Language Design
- Proggit
- Real World Technologies Forums
- Send More Paramedics
- State of Code
- Stevey's Blog Rants
- Structural insight
- Subvert the dominant paradigm
- Taylor Campbell's blag
- The BileBlog
- The ByteBaker
- Trivium
- Ward's wiki
- wingolog
2 comments:
So.. what kind of semantics can you read? If you say denotational I'll be floored.
Manuel,
I'm surprised you haven't been hit with a copyright take-down notice yet.
For Anonymous,
I think denotational semantics aren't bad.
regards
Old Man in The Sea.
Post a Comment