Per Vognsen

type sort icontitleauthorlast post
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
Forum topicgenerating interpreters, IDEs, etc., from simple specifications? shahbaz2006-08-23 14:34
Forum topicThe Killer Application for Concatenative Languages John Carter2006-08-07 19:33
Forum topicPolymorphic replacement dataangel2006-07-31 19:56
Forum topic2006 ICFP Programming Contest registration opens Tom72006-07-26 02:04
StoryA Core Calculus for Scala Type Checking Niels Hoogeveen2006-07-22 15:59
StoryZipper-based file server/OS shapr2006-07-13 10:13
Forum topicDSLs and operator associativity/precedence dataangel2006-07-11 05:20
StoryInform 7: A relational DSL for interactive fiction with natural language syntax Frank Atanassow2006-06-12 07:49
Forum topicTrying to get embedded python co-routines to work raoulvp2006-06-03 23:35
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05