Kalani

type sort icontitleauthorlast post
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
Forum topicJob ads Kalani2015-02-11 23:11
Forum topicHow can be a interpreter faster than C (aka: kdb+) mamcx2014-12-31 14:26
Forum topicDo Logic Languages Need Negation? Keean Schupke2014-07-22 17:47
Forum topicBrendan Eich, CEO of mozilla Sean McDirmid2014-04-13 18:55
Forum topicToward a better programming ibdknox2014-04-01 05:35
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicAlexander Bumstead learns the Lambda Calculus tim finin2013-11-05 07:12
Forum topicAn "adaptive" LALR(1) parser I've been toying with Kalani2013-10-09 19:35
Forum topicquestions re common lisp readtable hacks Thomas Lord2013-09-12 15:59
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