Lambda the Ultimate

type	title	author	last post
Forum topic	[Ask LTU] How to implement concurrent languages ? Hi Ravi, I don't know of by neelk	Ravi Mohan	2011-08-11 14:29
Story	Lightweight Monadic Programming in ML A minimally category-theoretic intro to algebraic effects... by neelk	Paul Snively	2011-08-10 20:39
Story	Decidability of Higher Order Matching	neelk	2011-08-02 12:19
Forum topic	Why is tail call optimization an issue in GC'd languages? In this case... by neelk	Sriram Srinivasan	2011-08-02 09:20
Forum topic	The Last Language? Yes, you understand what I mean by neelk You don't need it by neelk I do expect a new Cambrian explosion by neelk	Dominic Fox	2011-07-20 14:51
Forum topic	Of Course ML Has Monads! This isn't the case at all. by neelk	Ohad Kammar	2011-07-14 14:24
Forum topic	modules are anti-modular Thanks, that makes sense by neelk What do you mean by import? by neelk	el-vadimo	2011-06-27 17:31
Forum topic	Catamorphisms and anamorphisms = general or primitive recursion? The easy way... by neelk Fold + Unfold by neelk	Blaisorblade	2011-06-20 22:37
Story	Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit First, I want to make clear by neelk	neelk	2011-05-23 20:26
Story	One Pass Real-Time Generational Mark-Sweep Garbage Collection Why? by neelk	James Iry	2011-05-18 23:10
Forum topic	Iteration function in lambda calculus I don't know! by neelk	kmisd	2011-05-06 10:32
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence This is really hard... by neelk	Sean McDirmid	2011-04-19 23:40
Story	Kona I spent a few minutes by neelk	Ehud Lamm	2011-04-14 23:30
Story	Imperative Programs as Proofs via Game Semantics	neelk	2011-04-13 12:05
Forum topic	Algebra of Programming See the second half of the book... by neelk	Carter Cheng	2011-04-12 10:15
Forum topic	What is a "fully featured closure"? Request for comments. Thanks! by neelk Are you putting call/cc into Java?! by neelk	Pavel Minaev	2011-04-10 18:34
Forum topic	Monads vs. Actors Hi Ohad... by neelk I don't... by neelk	Sean McDirmid	2011-03-02 21:15
Story	Simplicial Databases	neelk	2011-02-22 19:16
Forum topic	Go or Unladen Swallow? So far my impression is that by neelk	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Fast Compilers Is the concern over compiler by neelk	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem To add information to ASTs, by neelk	shap	2011-01-19 03:15
Story	Good Ideas, Through the Looking Glass He was making the (correct) by neelk	Ehud Lamm	2011-01-15 17:04
Forum topic	Linear types, anyone? Sorry, the LICS deadline is by neelk	Ehud Lamm	2011-01-14 06:48
Story	The IO Monad is 45 years old Cool! by neelk	Z-Bo	2011-01-10 10:34
Forum topic	The Myths of Object-Orientation Consider... by neelk That's right, exactly. by neelk In fact... by neelk	el-vadimo	2010-12-21 17:28
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