Lambda the Ultimate

type	title	author	last post
Forum topic	hobbes, Morgan Stanley OSS Talking about GHC by Kalani Heh by Kalani Good points by Kalani Calvin ... by Kalani Interesting topics by Kalani Thank you! by Kalani Thanks by Kalani More by Kalani Great questions! by Kalani	Kalani	2017-07-27 14:55
Story	Admin Sure by Kalani	Ehud Lamm	2016-07-24 14:16
Forum topic	What is Intuitive? Tangent by Kalani	raould	2016-05-12 23:55
Forum topic	Type Differentials That's one way to think of it by Kalani	Talin	2015-04-25 15:02
Forum topic	how many lines of code can civilization support? That's a pretty limited set of choices by Kalani	Thomas Lord	2015-04-09 22:07
Forum topic	Constraint typing, subtyping, and separate compilation Maybe you misunderstood my argument by Kalani Fascinating by Kalani Forget it by Kalani	Sean McDirmid	2015-03-12 22:35
Forum topic	Seeking candidates to work on a custom compiler/language in NYC	Kalani	2015-03-04 20:22
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Thank you for your thoughtful reply by Kalani I think that you just stated your previous assertion again by Kalani Is that necessary? by Kalani Not sure I follow by Kalani Is this true? by Kalani	Sean McDirmid	2015-02-13 23:43
Forum topic	Job ads Thanks by Kalani	Kalani	2015-02-11 23:11
Forum topic	How can be a interpreter faster than C (aka: kdb+) No difference really by Kalani Yes I wrote that ... by Kalani You're on the right track by Kalani No by Kalani I'm surprised ... by Kalani	mamcx	2014-12-31 14:26
Forum topic	Do Logic Languages Need Negation? Just clearing up a few things by Kalani Are we just talking past each other? by Kalani Negation and constructivity are compatible by Kalani Could you explain how ~a -> by Kalani Negation missing in dependently-typed languages? by Kalani	Keean Schupke	2014-07-22 17:47
Forum topic	Brendan Eich, CEO of mozilla At some point, many of us by Kalani Poor Brendan? by Kalani	Sean McDirmid	2014-04-13 18:55
Forum topic	Toward a better programming A search for foundations by Kalani	ibdknox	2014-04-01 05:35
Story	Propositions as Types Example? by Kalani	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Different approaches to letting a programmer define interface implementations. Shape constraints by Kalani	Kannan Goundan	2014-01-15 04:00
Forum topic	Alexander Bumstead learns the Lambda Calculus Neat by Kalani	tim finin	2013-11-05 07:12
Forum topic	An "adaptive" LALR(1) parser I've been toying with	Kalani	2013-10-09 19:35
Forum topic	questions re common lisp readtable hacks Not sure if this is helpful, but ... by Kalani	Thomas Lord	2013-09-12 15:59
Story	Mixed-Site Variance I don't know what you guys are talking about ... by Kalani	bashyal	2013-09-09 21:39
Forum topic	So You are Thinking of Doing a PhD... Seattle ... by Kalani	naasking	2013-07-03 13:51
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Getting to my point by Kalani The necessity of existentials by Kalani Much Ado by Kalani	w7cook	2013-01-08 20:02
Forum topic	Libraries suck Fair enough by Kalani You may have put your finger on it by Kalani You said it by Kalani	Kartik Agaram	2012-11-26 22:16
Forum topic	Testing in the absence of side effects Self-evident by Kalani	giuseppemag	2012-11-14 17:49
Forum topic	Why languages and not systems? Not to mention the sub-Turing by Kalani	giuseppemag	2012-07-13 11:39
Forum topic	Proofs as programs Going to war with General Recursion by Kalani Recursive types by Kalani	hbrandl	2012-05-29 09:43
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation