Kalani

type sort icontitleauthorlast post
StoryMixed-Site Variance bashyal2013-09-09 21:39
Forum topicSo You are Thinking of Doing a PhD... naasking2013-07-03 13:51
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicLibraries suck Kartik Agaram2012-11-26 22:16
Forum topicTesting in the absence of side effects giuseppemag2012-11-14 17:49
Forum topicWhy languages and not systems? giuseppemag2012-07-13 11:39
Forum topicProofs as programs hbrandl2012-05-29 09:43
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topicThe Last Language? Dominic Fox2011-07-20 14:51
StoryKona Ehud Lamm2011-04-14 23:30
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
StoryWhat Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common neelk2010-09-09 13:41
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
StoryThe Future of C# Manuel J. Simoni2010-07-29 21:28
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2010-04-16 18:31
Forum topicInformation regarding financial crisis Ehud Lamm2010-02-12 16:39
StoryParsing Expression Grammars Luke Gorrie2009-04-30 09:35
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
Forum topicLooking for papers describing advanced language topics in terms of C programming derekp2009-02-12 06:39
Forum topicoutput language for new statically typed language? AtariFan2008-08-29 17:20