Kannan Goundan

type sort icontitleauthorlast post
Forum topicCertificates/proof of work of type checking? naasking2016-09-22 06:41
Forum topicSnakes all the way down raould2014-12-24 15:49
StoryApple Introduces Swift bashyal2014-08-21 17:54
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topic"null" is to tagged unions as ???? is to records Kannan Goundan2014-03-22 20:06
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicAha! Programming Language rmovchan2012-10-19 03:50
Forum topicIn defense of semicolon Sean McDirmid2012-10-08 22:32
Forum topicDesigning a languge — what theory is a must? pgregory2012-09-28 19:01
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicCoding at the Speed of Touch Sean McDirmid2012-03-27 18:25
Forum topicSmall is Beautiful: the design of Lua bashyal2012-02-07 14:33
Forum topicProofs of a type system's safety? Steven StewartGallus2011-12-07 13:24
Forum topicXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. Kannan Goundan2011-11-25 21:06
Forum topicSubsumption at all costs bashyal2011-10-13 19:18
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
Forum topicAlgebraic ABCs - Extending "types" in Python acooke2011-06-08 01:50
Forum topicNomenclature for impure functions Alexandre Cossette2011-04-28 03:28
Forum topicCompiler framework, insight? Alexander Morou2011-04-20 22:57
Forum topicRedhat's New Language Noel2011-04-16 03:10
Forum topicWhat to do about comments? markt2011-03-14 18:54
Forum topicSchemas for JSON? jbclements2011-03-12 12:32
Forum topicObject capabilities for protecting object slots in prototype-based languages? Denis Washington2011-03-10 02:17
StoryGenerics: The Importance of Wildcards Ehud Lamm2011-01-14 15:36