Cyril

typetitleauthorlast post sort icon
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
Forum topicWhy Do Some Programming Languages Live and Others Die? Sean McDirmid2012-06-18 23:33
Forum topicType classes in a dynamic language vorov22012-06-17 11:05
Forum topicGraphical languages of the Russian space program Manuel J. Simoni2012-06-15 06:43
Forum topicLooking for more info on precise types Cyril2012-06-14 19:14
StoryGoogle Blockly Lets You Hack With No Keyboard Allan McInnes2012-06-13 07:36