Cyril

type sort icontitleauthorlast post
Forum topicEnso: William Cook's new programming model Rafael2012-08-29 17:46
Forum topicOverloading by return type without types vorov22012-08-12 23:50
Forum topicThe Economist: Language and Computers: Why language isn't computer code kms2012-08-11 20:37
Forum topicAn Executable Formal Semantics of C with Applications RobJellinghaus2012-08-10 17:20
Forum topicLanguage Implementation 101 qznc2012-08-09 07:37
StorySelf.congratulate Ehud Lamm2012-08-06 10:41
Forum topicEscaping the Maze of Twisty Classes Sean McDirmid2012-08-04 10:15
Forum topicCan javascript concurrency be expressed as a monad? mmaroti2012-08-02 08:31
Forum topicIs this region typing, dependent types or something else? What do I need to be able to express this constraint? Logan Capaldo2012-07-30 09:43
Forum topicImmediate mode GUIs Sean McDirmid2012-07-27 04:18
StoryMechanized λ<sub>JS</sub> Paul Snively2012-07-25 13:37
StoryInteractive Tutorial of the Sequent Calculus Manuel J. Simoni2012-07-24 17:55
Forum topicOO type systems and BNFs Sean McDirmid2012-07-20 19:36
Forum topicEvolved Turing neural networks - Unorganized machines and the brain Cyril2012-07-14 11:08
Forum topicWhy languages and not systems? giuseppemag2012-07-13 11:39
Forum topicErik Meijer started a discussion on Domain Specific Languages w7cook2012-07-13 00:52
Forum topicWhy are exceptions not described as 'purely functional'? bryanedds2012-07-11 15:05
Forum topicJavaScript in the browser : (yet another) bigint calculator toy language Cyril2012-07-03 21:05
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicAnnouncement: Compiler/PLT discussion group in Berlin Marijn Haverbeke2012-06-27 21:35
StoryACM A.M. Turing Centenary Celebration Luke Gorrie2012-06-26 15:40
Forum topicNull, bottom, etc.? oconnor02012-06-25 23:41
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
Forum topicFraming: The implementation side hbrandl2012-06-20 20:17