jimdesu

typetitle sort iconauthorlast post
Forum topicHelp with Herbelin jimdesu2017-12-21 16:01
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicdoing letrec with lambdas jimdesu2014-09-29 19:46
Forum topic"Down with Lambda-Lifting" dbfaken2014-02-24 17:04
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
Forum topicTypographical extensions for programming languages: breaking out of the ASCII straitjacket Sean McDirmid2013-07-28 00:17
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topicContinuation calculus bgeron2013-06-05 23:00
Forum topicWhy are objects so unintuitive? Lee Chou2010-11-19 19:07
Forum topicterm-typing/operational semantics simulator? jimdesu2010-11-12 10:23
Forum topicPL Related Blogs Ethan Aubin2010-09-05 16:33
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
Forum topic(Very) Simpleminded kind question jimdesu2009-07-26 14:11
StoryModern dynamic linking infrastructure for PLT Manuel J. Simoni2009-07-01 18:06
Forum topicThat old bug... Ehud Lamm2009-05-29 20:42
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
Forum topicWriting an interpreter, targeting a VM or writing from scratch? Johan Tibell2009-04-28 20:09
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryAlmost everything happened in the Golden Age, right? Peter Van Roy2008-07-28 19:24
Forum topicSoftware complexity as means of professional advancement Denis Bredelet -jido2008-05-30 21:24