Frank Atanassow

typetitleauthor sort iconlast post
Forum topicAbstractionless programming Wouter2017-06-10 16:36
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
StoryInteractive Programming Luke Gorrie2013-03-25 05:32
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
StoryXtext: An IDE on the cheap bashyal2010-10-15 21:46
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicData schema languages Matthew Willson2010-08-10 12:24
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicQuestions about Semantics. Matt Estes2010-07-15 05:47
Forum topicEvocative metaphor Ehud Lamm2010-07-12 13:40
Forum topicA lambda calculus with arbitrary set primitives Neil Toronto2010-07-01 12:56
Forum topichappy rebirth day, LtU NG! el-vadimo2010-06-25 17:55
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