Keith Devens .com - Weblog: Foundational Calculi for Programming Languages (intro) | Lambda the Ultimate - March 16, 2005

Home » Archive » 2005 » March » 16 » Foundational Calculi for Programming Languages (intro) | Lambda the Ultimate

← New fonts from Microsoft

Transcript of Scalia's speech on Constitutional interpretation →

Wednesday, March 16, 2005

Foundational Calculi for Programming Languages (intro) | Lambda the Ultimate

Foundational Calculi for Programming Languages (intro) | Lambda the Ultimate. Seems like it might be interesting, but the site's down right now.

Chain link icon

Permalink | Comments? | Tags: linkblog, Programming | id 6710

13:00 (utc-5)

← New fonts from Microsoft

Transcript of Scalia's speech on Constitutional interpretation →

Comments

Feel free to post a comment below. Please see my comment policy.

Formatting Rules (No HTML):

**bold**, *italic*, _underlined_, --strikeout--
"text"="url" creates a link, and URLs are auto-highlighted
Blockquote: Like e-mail, begin paragraph with > (greater-than sign)
Lists: begin paragraph with *,-, or + (unordered), or # (ordered)
Code block: ?!code:language=perl|php|sql|javascript|etc.{\n}...{\n}?!/code

RSS feed RSS feed for Keith's Weblog
Atom feed Atom feed for Keith's Weblog
Weblog archive
Recent comments
on 2 posts

Recent comments

new⇒Johnny Walker Blue Label

Wow, thanks for the scotch review:D

Lagavulin and Laphroaig aresome of...

Keith: Aug 29, 3:35pm

Girls, please don't get breast implants

Wow, After all this time, thecomments on this page continue togrow. It wa...

Ajeet: Aug 25, 2:36am

Generated in about 0.123s.

(Used 8 db queries)