Lambda the Ultimate

type	title	author	last post
Forum topic	Opposing Hierarchies of Complexity I think the idea is that by Matt M :) by Matt M Theorems of unusual size by Matt M "Overblown" isn't the right term by Matt M Sympatico by Matt M But what if the garbage by Matt M One comment by Matt M Too much philosophy by Matt M How about the consistency of by Matt M With ITT a proof is true by Matt M ...	Keean Schupke	2014-11-05 22:20
Forum topic	Programming with Managed Time The presentation format is by Matt M Well, Haskell did try to by Matt M I was with you up to the by Matt M Dynamic vs. static managed time by Matt M	Sean McDirmid	2014-10-23 00:47
Forum topic	Jonathan Blow's next foray into game language design What's a library? by Matt M Fuzzy on details by Matt M Memory management in a game language by Matt M OK, now I've watched the video (skimmed) by Matt M I watched the video by Matt M	jdougan	2014-10-21 20:35
Story	LtU's new server Thanks Anton by Matt M	Anton van Straaten	2014-10-20 16:51
Forum topic	On constness Semantically, a reference is by Matt M More detail by Matt M I just mean modeling by Matt M I speak functional by Matt M Again, I would rather model it by Matt M Shrug by Matt M Yes, I think some low level by Matt M Same discussion as with Jules by Matt M The code snippet above is a by Matt M More detail by Matt M ...	Talin	2014-10-13 20:58
Story	Open thread: RIP Steve Jobs I think you're reading that too literally by Matt M	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment I assume you're responding by Matt M For arbitrary values of 64? by Matt M If you assume that 1) all by Matt M My point is just that it is by Matt M The problem is that 64 bits by Matt M Yes, but if your e.g. linked by Matt M Right by Matt M Everything else can be bounded by Matt M How are you going to by Matt M I agree by Matt M ...	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory CS burned through 10,000 man by Matt M	aaditmshah	2014-09-27 15:30
Forum topic	Optimisation by repeated beta- and eta-reduction In some sense C defines a proper Turing (equivalent) machine by Matt M	L Spice	2014-09-22 01:00
Forum topic	Who Needs Garbage Collection? How deeply do you copy? by Matt M	Keean Schupke	2014-09-20 06:41
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
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