Lambda the Ultimate

type	title	author	last post
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
Forum topic	Deprecating the Observer Pattern Thank you! by neelk	Alex Cruise	2010-09-28 03:56
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common	neelk	2010-09-09 13:41
Forum topic	Examples of encodings in Pure Type Systems Most of these encodings are by neelk	guerrilla_thought	2010-09-01 06:10
Forum topic	CS and mathematics dictionary You can also... by neelk	Thomas Strathmann	2010-08-27 18:16
Story	Ocaml 3.12 released	neelk	2010-08-23 14:01
Forum topic	Scheme from Scratch project Take a look at... by neelk	Peter Michaux	2010-08-10 02:17
Story	Monads in Action	neelk	2010-08-04 06:45
Forum topic	Questions about Semantics. You might want to look at Frank Pfenning's notes... by neelk I've heard that... by neelk	Matt Estes	2010-07-15 05:47
Story	An intuitionistic logic that proves Markov's principle You're exactly right by neelk The standard proof... by neelk	neelk	2010-07-07 08:23
Story	Functional Pearl: Species and Functors and Types, Oh My! Oh... by neelk	Matt Hellige	2010-07-05 09:38
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