Frank Atanassow

typetitleauthor sort iconlast post
Forum topicA Theory of Typed Hygienic Macros Jacques Carette2010-06-20 22:13
Forum topicLooking for a proof that eager reduction is as strong as lazy reduction marco2010-06-20 04:28
Forum topicplt vs. something else for programming in the large? raould2010-06-17 01:07
Forum topicC-Machine marco2010-06-15 19:46
Forum topicAlgebraic morphir2010-06-11 08:33
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicStupid Question. Matt Estes2009-06-26 20:47
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
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
Forum topicElementary Category Theory Ohad Kammar2008-10-23 11:52
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
Forum topicExploiting parser ambiguity bdenckla2008-09-07 16:12
Forum topicBinary relations Matthew Willson2008-07-25 14:23
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicWell-typed programs can’t be blamed Marc Hamann2008-01-15 00:40
Forum topicA survey and discussion of taming effects naasking2007-11-28 19:24
Forum topicThe simplest mechanism with Turing-equivalent power to date ... Mario B.2007-11-18 21:05
StoryA Topos Foundation for Theories of Physics Matt Hellige2007-07-27 11:42
Forum topicOrder of the Science Scouts Badges Ehud Lamm2007-03-23 15:00
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicif Records - Labels = Tuples then Rows - Labels = what? cdiggins2006-12-04 01:57
Forum topicThe three dimensions of proofs Niels Hoogeveen2006-09-14 17:42