Lambda the Ultimate

type	title	author	last post
Story	Luca Cardelli Festschrift Festschrift by Matt M	Ohad Kammar	2014-09-17 14:34
Forum topic	Patent on "safe" transitive immutability for object types — prior art? I would think posting on a by Matt M	Blaisorblade	2014-09-11 18:18
Forum topic	Experiments in Code Typography Much preferable to me by Matt M We tried this in the Scala by Matt M Feedback by Matt M	Sean McDirmid	2014-09-06 03:56
Story	Apple Introduces Swift Representations for error handling by Matt M Not sum types. by Matt M	bashyal	2014-08-21 17:54
Forum topic	out of memory Memory is definitely more of by Matt M I agree with your general by Matt M A good programming language by Matt M	Rys McCusker	2014-08-17 09:54
Forum topic	GPU for GC The princess and the 5ms garbage collector pause by Matt M	raould	2014-08-06 03:12
Story	seL4: Formal Verification of an Operating-System Kernel I don't need to spread the by Matt M Great Scott! by Matt M Further, I do not see any by Matt M I'm not arging for formality by Matt M I'm not arging for formality by Matt M I disagree by Matt M You're implicitly making by Matt M Terminology by Matt M Still differ by Matt M Oh yes, I should correct... by Matt M ...	James Iry	2014-07-29 07:19
Forum topic	What's in a name? I think my language would be by Matt M	Sean McDirmid	2014-07-22 03:28
Forum topic	request for namespace binding service terminology I'm sure I'm still lost and by Matt M I must be lost by Matt M Nitpick by Matt M	Rys McCusker	2014-07-21 19:12
Forum topic	Covariance issue when extending "enter" part in BETA? Drive-by hip shooting by Matt M	Tess Foley	2014-07-13 15:36
Forum topic	Is Rx FRP? Fewer weasel words by Matt M	Sean McDirmid	2014-07-08 18:02
Forum topic	Dynamic Hindley-Milner? Have you looked at Prolog? by Matt M	Sean McDirmid	2014-07-08 08:42
Forum topic	Compositional let bindings What about this? by Matt M Not crazy by Matt M Craziness by Matt M What is the meaning of this? by Matt M	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces How about the Maycur programming language? by Matt M	Sean McDirmid	2014-07-04 03:31
Forum topic	Math.js crashes my iPad Yep by Matt M It used to crash for me as by Matt M	Sean McDirmid	2014-07-03 16:05
Forum topic	Rank-0 Intersection Type System The notion of subject by Matt M You seem to be shifting by Matt M What passes the test? by Matt M No by Matt M The princess is in another castle by Matt M Multi-HM vs. Rank-0-intersection algorithm by Matt M Here's the issue by Matt M I just meant that you can by Matt M Yeah by Matt M Completeness by Matt M ...	Keean Schupke	2014-06-15 11:52
Forum topic	Notation for debugging type derivations. Repeating the context seems like a bad idea by Matt M	Keean Schupke	2014-06-06 19:04
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open I don't know if it's what by Matt M	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Enforcement by Matt M Don't agree by Matt M	Talin	2014-05-31 05:02
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Check out algebraic effects by Matt M Quite a few parts by Matt M Uninhabited by Matt M GetChar is a value by Matt M Confusion by Matt M Interesting by Matt M No by Matt M	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome Yes, you can form streams by Matt M Should streams be formed by Matt M Ah ha by Matt M I'm not following exactly by Matt M What is continuous state? by Matt M Continuous time is okay by Matt M Misunderstanding by Matt M High level too by Matt M Representations vs. refinements by Matt M Requirements by Matt M ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments Probing vs. tracing by Matt M I don't think that's particularly useful by Matt M Phase mismatch by Matt M	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Depends how much it knows by Matt M Impurity wasn't my point by Matt M CH? by Matt M Types usually are propositions by Matt M Soundness by Matt M I started to reply, but by Matt M	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Mezzo by Matt M	Jules Jacobs	2014-05-20 20:26
Forum topic	Sectioning a chain of operators and dot as reverse application Can you give an example? by Matt M Thanks by Matt M	Matt M	2014-05-12 18:17
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