Lambda the Ultimate

type	title	author	last post
Forum topic	Concatenative Language Kont Stack-based is point-free? by Dave Menendez	Chris	2014-10-22 09:15
Story	Delimited dynamic binding Is the code available? by Dave Menendez	Chung-chieh Shan	2011-08-03 11:51
Forum topic	the Chinese natual language Sounds like the passive voice by Dave Menendez	Zhu Chongkai	2009-06-01 13:06
Forum topic	Explaining monads What are the superior alternatives to monads? by Dave Menendez	Ehud Lamm	2009-01-30 11:43
Forum topic	Non-standard type theories for FP Uninhabited types can be useful by Dave Menendez	marco	2009-01-25 03:59
Forum topic	A Modular, Verifiable Exception-Handling Mechanism Approximating it in Haskell by Dave Menendez	dmbarbour	2008-10-23 00:21
Forum topic	Common Lisp Exception Handling Resumable exceptions in Haskell? by Dave Menendez	SamK	2008-10-20 00:55
Story	Revisiting Coroutines Hyperfunctions and coroutines by Dave Menendez Bad link by Dave Menendez	naasking	2008-07-18 12:31
Story	Species: making analytic functors practical for functional programming What's functorial composition? by Dave Menendez	neelk	2008-05-30 04:45
Story	The Haskell Programmer's Guide to the IO Monad --- Don't Panic id has a hidden parameter by Dave Menendez	Ehud Lamm	2007-11-22 21:30
Story	Naked Objects So the intuition here is by Dave Menendez	Noel	2007-06-12 23:46
Forum topic	Why type systems are interesting - part II Not a bad idea by Dave Menendez	Ehud Lamm	2006-12-08 01:38
Story	Linear types for aliased resources Not that different by Dave Menendez	Ehud Lamm	2006-12-07 16:10
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Definite vs indefinite articles by Dave Menendez	Frank Atanassow	2006-06-12 07:49
Forum topic	Lambda the Ultimate Set Comprehension Where does equality of arrows come from? by Dave Menendez	xyzzy	2006-05-17 06:05
Story	foldl and foldr Why don't these work? by Dave Menendez	Noel	2006-04-20 16:34
Story	Embedded Interpreters Re: How about GADTs? by Dave Menendez How about GADTs? by Dave Menendez	Ehud Lamm	2006-03-12 06:37
Forum topic	Type theory question... (Non-dependent) sums by Dave Menendez	Matt Hellige	2006-02-23 22:07
Forum topic	The new old or The "Return" to Concurrency Dataflow and comonads by Dave Menendez	Todd Coram	2006-02-16 00:08
Forum topic	The fate of reduce() in Python 3000 Documentation is nice when you have it by Dave Menendez	Andrei Formiga	2006-02-12 19:27
Forum topic	Scoping based on control flow graph For that example, I find "zip" more readable by Dave Menendez Multiple recursion schemes by Dave Menendez	rici	2006-02-08 19:55
Story	A New Haskell and those anxious to change Codifying the current extensions by Dave Menendez	Jim Apple	2006-02-06 05:15
Forum topic	What is a monad, why should I use it, and when is it appropriate? Nifty combinators by Dave Menendez Rats by Dave Menendez Maybe in Haskell is the same as in ML by Dave Menendez The Maybe datatype is a monad by Dave Menendez	Jonathan Allen	2006-02-03 10:54
Story	Haskell is not not ML Fortunately for me, the time by Dave Menendez	Ehud Lamm	2006-01-24 20:23
Forum topic	Bruce Tate: Technologies that may challenge Java Sounds like resource files on the Mac by Dave Menendez	shahbaz	2006-01-12 06:01
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