Cyril

typetitleauthor sort iconlast post
Forum topicRefining Structured Type System Ivan Vodišek2017-12-14 18:47
Forum topicLogic Production Systems (LPS) Neil Madden2017-03-27 18:13
Forum topicCFL parsing, and another way to look at the CNF... Cyril2017-03-07 07:27
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
Forum topicInference of Polymorphic Recursion Matt M2017-02-07 04:40
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
Forum topicF# compiler, library and tools now open for community contribution Charles Torre2014-04-15 21:21
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
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