Per Vognsen

typetitleauthor sort iconlast post
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
StoryCode Reading Ehud Lamm2009-06-04 14:52
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
StoryWorlds: Controlling the Scope of Side Effects Luke Gorrie2008-10-09 23:54
StoryThe MetaC Language Ehud Lamm2008-09-02 17:22
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
Forum topicPartial evaluation applied to high speed lighting preview sigfpe2007-07-30 22:25
StoryAn Intensional Type Theory: Motivation and Cut-Elimination neelk2007-03-19 11:13
Forum topicWhat Makes Erlang Processes Tick? mjstahl2007-01-29 19:09
Forum topicTransparent Persistence playergiro2006-12-20 17:31
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
StorySage: A Programming Language With Hybrid Type-Checking Paul Snively2006-11-02 17:52
Forum topicDelevoping a new language... D.G.Gaev2006-10-27 07:42
Forum topicBlock-scope mrpingouin2006-10-18 15:00
Forum topicSSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? Logan Capaldo2006-09-25 16:45
Forum topicClosures for Java or money back el-vadimo2006-09-23 19:16
StoryMisc News Ehud Lamm2006-09-10 21:02
Forum topicRewriting Haskell Strings Per Vognsen2006-09-09 09:45
Forum topicSmall Value Set Types cdiggins2006-09-06 02:05
Forum topicwhat are the differences between erlang process and pthread threads? bend2006-08-25 13:31