Lambda the Ultimate

type	title	author	last post
Story	What good is Strong Normalization in Programming Languages? See "A Principled Approach to Operating System Construction" by shapr Just doing my editorial job :-) by shapr	shapr	2005-11-18 18:06
Forum topic	Can one avoid monads? Funny you should mention that... by shapr	raould	2005-11-10 20:18
Forum topic	Invariants/Contracts vs. types User functions' properties and type theory by shapr QuickCheck... by shapr	dbfaken	2005-11-08 22:31
Forum topic	The Type-System-Feature-Creep Death Spiral I think it's all the same. Staging happens. by shapr This is the goal, but whither termination? by shapr	jesuswaffle	2005-11-02 17:15
Story	Does Visual Studio Rot the Mind? C header files, Lazy if, Python list comps, another anecdote by shapr Types, Abstractions by shapr I don't believe it. by shapr	Ehud Lamm	2005-11-02 15:37
Forum topic	Why Lists? Functor? by shapr	David B. Held	2005-11-01 21:15
Forum topic	Parsing and syntax reordering Term Rewriting Systems? Refactoring? by shapr	kruhft	2005-11-01 18:12
Forum topic	Journal "Logical Methods in CS" Yes, CC licensed is great! by shapr Recursion via Coinductive Types - dual to Hyperfunctions? by shapr	Charles Stewart	2005-10-27 17:13
Story	Multigame A Very High Level Language for Describing Board Games Thesis by shapr	Ehud Lamm	2005-10-21 13:17
Forum topic	Scalability Still a puzzle? by shapr HaskellDB is SQL on top of Haskell. by shapr So ask for details. by shapr I think there's an excellent solution, build a stack of turtles! by shapr Not always... by shapr	genneth	2005-10-20 15:26
Forum topic	Macros/Syntax vs. AST manipulation Typesafe transformations - Template Haskell vs MetaML by shapr	rossjudson	2005-10-18 13:24
Story	XNHTML What about Zope's TAL? by shapr	Ehud Lamm	2005-10-13 08:27
Forum topic	"The Anatomy of a Loop" Is mutual recursion also iteration? by shapr	el-vadimo	2005-10-09 19:02
Story	Number-Parameterized Types by Oleg Kiselyov Yes, mentioned in the related section. by shapr	shapr	2005-10-05 23:24
Forum topic	Looking for FP Debuggers QuickCheck, again... by shapr I've never wanted a debugger, but... tests? by shapr	raould	2005-10-03 19:14
Forum topic	Abstractions considered harmful? QuickCheck! by shapr	raould	2005-10-03 19:09
Forum topic	From Perl Monks: "pissed off about functional programming" FpVsOo by shapr Related Discussion by shapr	tmoertel	2005-10-03 13:04
Forum topic	Issue One of The Monad.Reader, monthly Haskell eZine Fifth issue of The Monad.Reader published. by shapr Content quality over presentation quality. by shapr Issue Three by shapr Issue Two by shapr Well... by shapr	shapr	2005-10-02 21:58
Story	LtU: Style and Focus If it can't be expressed in figures, it is not science by shapr	Ehud Lamm	2005-09-29 22:03
Forum topic	Most Productive FP Lang? hs-plugins by shapr	David B. Held	2005-09-26 03:14
Story	Dynamic typing in OCaml QuickCheck by shapr	Matt Hellige	2005-09-22 23:22
Forum topic	Garbage Collection as a Lazy Algorithm Henry Baker by shapr	Greg Buchholz	2005-09-19 23:23
Forum topic	Big O complexity for abstractions?	shapr	2005-08-30 01:38
Forum topic	Does Abstraction add Fuzziness? Temporary hiding of extraneous information. by shapr	mansu	2005-08-29 20:17
Forum topic	CTM The Need for Abstraction by shapr	rumplestiltkin	2005-07-11 15:37
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