typetitleauthorlast post sort icon
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
StoryOral History of Adele Goldberg bashyal2014-01-08 19:33
Forum topicMemorySharp - Managed library for memory editing, and Fasm.NET - Managed wrapper to use the FASM compiler from .NET applications Cyril2014-01-01 02:51
Forum topicStatic typing and direct AST manipulation tkirchner2013-11-15 01:52
StoryObject Algebras James Noble2013-03-16 14:38
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicProposed extension to C - array size declarations John Nagle2012-09-30 04:27
Forum topicLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. Matthew Markland2012-09-05 03:19
Forum topicIDE design for immediate feedback David Wagner2012-09-04 09:14
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