Lambda the Ultimate

type	title	author	last post
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
Story	The Fortress Language Spec v0.618 Look at Hongwei Xi's work... by neelk	Dave Herman	2010-12-13 04:24
Story	Tropical Semirings	neelk	2010-12-10 15:56
Story	Derivatives of Regular Expressions	neelk	2010-11-29 23:49
Forum topic	Clojure's Solutions to the Expression Problem Why is it a concern for you..? by neelk	fogus	2010-11-27 07:21
Story	De-Scheming MIT? I presume the idea with by neelk	Kay Schluehr	2010-11-16 20:43
Forum topic	Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds Deadlock isn't modelled by wrong... by neelk	paulboca	2010-11-04 11:38
Forum topic	Erasure and Polymorphism in Pure Type Systems See by neelk	gasche	2010-10-29 11:36
Story	The Art of the Propagator Yes, thanks! by neelk Can you recommend a good survey paper? by neelk	neelk	2010-10-25 06:59
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Parsing by neelk I write lots of functions by neelk I do not think this is true by neelk	Greg Buchholz	2010-10-22 21:48
Forum topic	Programming languages with higher kinds? Yes... by neelk	Steven Shaw II	2010-10-16 14:58
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