Lambda the Ultimate

type	title	author	last post
Story	Functional Pearl: Type-safe pattern combinators "Representing monads" by Noam	naasking	2016-09-16 18:18
Forum topic	Typed Lambda Calculus "Church v. Curry" considered misleading...and intersection types by Noam	marcosag	2010-05-05 21:11
Forum topic	Claiming Infinity The problem is that the by Noam Game semantics for games by Noam computing with the Dedekind reals by Noam	Julian Rohrhuber	2010-02-03 12:53
Story	An Innocent Model of Linear Logic Re: Designs by Noam Why not mix? by Noam	Anton van Straaten	2009-12-19 09:26
Story	Have your AHOS and eat HOAS too! Thanks for the publicity. by Noam	Charles Stewart	2009-10-23 16:33
Forum topic	Algorithms for inferring most specific types? Perhaps what you are after by Noam	billtohara	2009-10-14 06:41
Forum topic	ICFP 2009 videos this is a great precedent. by Noam	dpmulligan	2009-10-06 05:15
Forum topic	Looking for list of programming problems to thoroughly test a language self-interpreter by Noam	derekp	2009-05-04 18:46
Forum topic	Fundamental Flaws in Current Programming Language Type Systems There isn't much a type by Noam	Bruce Rennie	2009-01-16 16:42
Forum topic	"Determinism" of types? Yes by Noam I think namin meant to write by Noam	ellisk	2009-01-06 17:36
Forum topic	Current "hot" topics in parallel programming? Guy Steele gave an by Noam	Michael Lesniak	2008-11-21 09:00
Forum topic	Summary of Dependently Typed Systems? I was being hyperbolic, by Noam thanks for the background by Noam In contrast, serious by Noam The flip side is that if you by Noam	jim burton	2008-10-27 12:42
Forum topic	Dead-end theorems Sorry, I was confused by by Noam type soundness by Noam	Ehud Lamm	2008-06-03 16:13
Story	Expressing Heap-shape Contracts in Linear Logic I believe the answer to your by Noam	neelk	2007-03-12 16:10
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