Lambda the Ultimate

type	title	author	last post
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
Forum topic	How can languages help us in terms of achieving correct program design? But how? by naasking Types are propositions, so by naasking What would make a type by naasking What if we allow a strong by naasking	bryanedds	2015-02-02 17:56
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps If any program, under any by naasking But since C is a subset of by naasking	Rys McCusker	2015-01-10 00:45
Forum topic	Function arity with currying and call-by-push-value BTW, I think "prohibiting by naasking I don't think we're talking by naasking One thing I really like, but by naasking	Blaisorblade	2015-01-05 16:09
Forum topic	How can be a interpreter faster than C (aka: kdb+) That is, you could specify by naasking	mamcx	2014-12-31 14:26
Story	Morrow & First-class Labels Broken link. Here's a live by naasking	Frank Atanassow	2014-12-28 20:26
Forum topic	Function Readability & Understandability Right, so full SQL is not by naasking however I have seen people by naasking	Keean Schupke	2014-12-28 20:07
Forum topic	Paged topics If the total number of posts by naasking	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? NoDB: Efficient Query by naasking Securing via closures is an by naasking	Sean McDirmid	2014-12-06 15:20
Forum topic	Implementing fast interpreters Don't have time to dig up links by naasking	vieiro	2014-12-04 10:31
Forum topic	Looking for a good online forum on compiler design and implementation This has been an interesting by naasking	Talin	2014-12-03 22:33
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