Kalani

type sort icontitleauthorlast post
Forum topicLambdas and objects as an existential type const2018-12-07 11:42
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2018-12-04 20:06
Forum topicHow to generate branch tables from SSA form? Paulo Torrens2018-08-25 02:29
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2018-04-06 21:50
StoryCompiling a Subset of APL Into a Typed Intermediate Language Andris Birkmanis2018-02-01 15:56
Forum topicRefining Structured Type System Ivan Vodišek2017-12-31 16:52
Forum topicNon-determinism: a sublanguage rather than a monad Greg Buchholz2017-10-28 07:57
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
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