Lambda the Ultimate

type	title	author	last post
Forum topic	Specialized File/Disk Systems for Actor Environments Storage region types by Kalani	mfidelman	2020-11-17 19:52
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing How so? by Kalani	AntC	2019-02-25 23:25
Forum topic	Lambdas and objects as an existential type The meaning of -> by Kalani It's a useful observation by Kalani	const	2018-12-07 11:42
Forum topic	How to generate branch tables from SSA form? Branching in SSA by Kalani	Paulo Torrens	2018-08-25 02:29
Forum topic	C++ fun He does feel the pain, by Kalani	chrisoliver	2018-06-11 02:05
Forum topic	Representing Type Information in Dynamically Typed Languages Really? by Kalani Definitions by Kalani Q by Kalani	Ray Dillinger	2018-04-06 21:50
Story	Compiling a Subset of APL Into a Typed Intermediate Language Haskell/APL, bridging the gap by Kalani	Andris Birkmanis	2018-02-01 15:56
Forum topic	Refining Structured Type System staging by Kalani representation by Kalani #1 by Kalani Negation on types by Kalani Interesting ideas by Kalani	Ivan V.	2017-12-31 16:52
Forum topic	Non-determinism: a sublanguage rather than a monad garbage collection by Kalani first-class, second-class, coach by Kalani FWIW by Kalani	Greg Buchholz	2017-10-28 07:57
Story	Happy Birthday, dear Lambda: 17 is good edition My son is 11 now, but was 7 by Kalani Happy birthday LtU! by Kalani	Ehud Lamm	2017-08-18 06:51
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
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