Kalani

typetitleauthorlast post sort icon
Forum topichobbes, Morgan Stanley OSS Kalani2017-07-27 14:55
StoryAdmin Ehud Lamm2016-07-24 14:16
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicType Differentials Talin2015-04-25 15:02
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicConstraint typing, subtyping, and separate compilation Sean McDirmid2015-03-12 22:35
Forum topicSeeking candidates to work on a custom compiler/language in NYC Kalani2015-03-04 20:22
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