Lambda the Ultimate

type	title	author	last post
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega That seems odd considering by naasking	naasking	2015-11-18 18:04
Forum topic	1ML — Core and modules united Is there a well-known, by naasking To be clear, it natively by naasking	Tom Primožič	2015-11-09 21:29
Forum topic	inter-language PL theory patterns relevant to IPC? I suspect Andrew is talking by naasking Do you any particular by naasking This year I am finishing by naasking	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX Sounds like "event sourcing" by naasking The Ken family of protocols by naasking [...] you still have to by naasking Any side-effecting operation by naasking I'm not sure I agree on by naasking Continuations whose by naasking On the other hand look at by naasking This sounds like a very sane by naasking	Sean McDirmid	2015-10-26 18:24
Forum topic	Halide: a language for image processing and computational photography This should probably be on by naasking	Thomas Lord	2015-10-20 22:35
Story	Dependent Types for Low-Level Programming	naasking	2015-10-16 07:59
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Interesting that the by naasking	naasking	2015-10-14 15:30
Story	Optimizing Closures in O(0) time	naasking	2015-10-04 17:46
Forum topic	Joining Forces: LVars & CvRDTs Lindsey's dissertation: by naasking	raould	2015-10-03 15:57
Forum topic	Live programming in APX, an early peek Types: I don't think you can by naasking	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? The vtable beats "if" and by naasking Do you have an example? by naasking	Ray Dillinger	2015-09-29 15:36
Story	Freer Monads, More Extensible Effects	naasking	2015-09-14 03:17
Forum topic	word2vec Neural Networks, Types, and Functional Programming by naasking	Sean McDirmid	2015-09-05 18:26
Forum topic	Moderation on LtU I scarcely think you will by naasking I don't know why gasche uses by naasking I have yet to encounter by naasking	gasche	2015-09-05 11:34
Forum topic	Another "big" question I don't think the expressive by naasking	Ehud Lamm	2015-09-02 15:49
Story	Reagents: Expressing and Composing Fine-grained Concurrency	naasking	2015-08-29 16:23
Forum topic	Big questions If their shared logic of by naasking Again, if John's memetic by naasking The Europeans were just by naasking That is both historically by naasking If programming becomes just by naasking [...] and I doubt another by naasking I don't claim we're special, by naasking Certainly some of the data by naasking The last option simply means by naasking So Gray criticizes Pinker's by naasking ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Eric Lippert's Sharp Regrets My suspicion is that casts by naasking A colleague of mine by naasking There's some buzz that Don by naasking I actually use Scala in by naasking AFAICT, there's no feasible by naasking The point isn't to capture by naasking Maybe these vms are just too by naasking I think he has a good list, by naasking	Wolf Logan	2015-08-24 11:10
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Somebody mentioned memory by naasking I meant to comment on this, by naasking	gasche	2015-08-22 15:22
Forum topic	Are Actors a Good Model for Computation. "Hobbling" can result from by naasking That still isn't a by naasking Whether or not sub-programs by naasking The issue is whether or not by naasking	Keean Schupke	2015-08-19 02:04
Forum topic	Limitations of FRP? Just an update, Neel has by naasking which doesn't seem to know by naasking	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs Keean's asking by naasking	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU Objects can have identity by naasking Since we're talking about by naasking I'm not sure what you mean by naasking Re: It's not up to the by naasking Indeed, and this is why by naasking You could do that, but then by naasking Given object O in B, B by naasking My point was that it was no by naasking Object equality is trivial, by naasking And yes, he's wrong, there's by naasking ...	Blaisorblade	2015-07-28 16:57
Forum topic	When are Actors appropriate? There isn't even any useful by naasking I take Thomas Lord's point by naasking	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful F arithmetic seems by naasking	Hewitt	2015-07-21 06:16
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