Lambda the Ultimate

type	title	author	last post
Story	Self-Representation in Girard’s System U Similarly with self by naasking Isn't the answer trivially by naasking Implementation is available by naasking	naasking	2015-06-18 22:53
Forum topic	XKCD on type theory... When we got into the realm by naasking	Ray Dillinger	2015-06-16 21:32
Story	The Unison Programming Platform	naasking	2015-06-13 14:16
Forum topic	The evolution of Rust This argument is fallacious. by naasking I was replying more to your by naasking I think the picture is a by naasking I actually think the work on by naasking Contextuality by naasking I don't see why dark matter by naasking Indeed, recent work in by naasking	qznc	2015-06-07 16:54
Forum topic	process oriented PL boot-strapping This is basically what by naasking	Rys McCusker	2015-06-05 17:47
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions Final post and summary by naasking I haven't been rude. I've by naasking The weak guarantees aren't by naasking	gasche	2015-05-30 21:12
Forum topic	Have tracing JIT compilers won? I suppose it depends what by naasking	Peter Michaux	2015-05-26 21:09
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) In most other cases, by naasking I see stuff I know from by naasking Disruptive in what way? MIME by naasking The x.f(y) notation works by naasking	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community Preference for explicit over by naasking	Phil Miess	2015-05-18 14:25
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Guessing here, but I think by naasking	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary	naasking	2015-05-09 12:14
Forum topic	What makes LtU more or less enjoyable? I've been holding back on by naasking This is actually super by naasking The problem is that the by naasking What is unique is that a by naasking Second, there is a view that by naasking I've sometimes thought that by naasking	gasche	2015-05-07 06:03
Forum topic	Whither Effects-Continuations-Monads? Lightweight Monadic by naasking	raould	2015-05-02 01:12
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" Computatibility Logic by naasking	Hewitt	2015-05-01 15:21
Story	Everything old is new again: Quoted Domain Specific Languages The Feldspar link I provide by naasking The compilation to C is one by naasking	naasking	2015-04-10 05:04
Forum topic	how many lines of code can civilization support? I've heard the suggestion by naasking You're equivocating on by naasking If a sentence's meaning can by naasking Life imitates art by naasking seems reasonable to suppose by naasking I don't see the concession by naasking Because an autonomous car by naasking Yes, where is the proof by naasking It is impossible for an AI by naasking Now that's an interesting by naasking ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Cool paper, worth it's own by naasking It actually seems that by naasking Maybe this is more by naasking A market that doesn't exist by naasking The paper I linked supports by naasking I think it's pretty well by naasking I am also not keen on making by naasking What do people consider a by naasking	naasking	2015-04-07 14:58
Forum topic	Type Inference in Object Oriented Languages Nemerle has type inference by naasking	Johan Tibell	2015-03-09 01:57
Forum topic	general patterns in PL persistence schemes? I'm obviously not going to by naasking ACID databases have answers by naasking If the process has by naasking KeyKOS and EROS were by naasking The minimal persistent state by naasking KeyKOS was commercially by naasking Transparent orthogonal by naasking Thanks for the MetaKit link, by naasking	Rys McCusker	2015-02-24 02:23
Story	Micro-Kanren They actually published a by naasking	Ehud Lamm	2015-02-22 23:40
Forum topic	Making implicits less powerful? Looks like neelk's comment by naasking You can generate by naasking This sounds like a by naasking Overriding a virtual method by naasking	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages This seems like the approach by naasking The way I understand it is by naasking Which is not true for a by naasking However, the logic may be by naasking If you can derive a definite by naasking	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism More unicode problems with by naasking My quick glance at the paper by naasking while the second sentence by naasking Huh? It is an example of by naasking Basing a large portion - and by naasking	Sean McDirmid	2015-02-13 23:43
Forum topic	symbols and loosely coupled concurrent apps part II It's not me, this was the by naasking libuv seems to be a by naasking	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. So that means that this by naasking especially when I know so by naasking I'm guessing your reaction by naasking do a whole program transform by naasking It's not 100% portable or by naasking but how do I inspect the by naasking To be honest, I don't really by naasking They seem to be trying to by naasking I still would prefer to by naasking I'm all for focusing on by naasking ...	John Nagle	2015-02-09 07:25
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