Lambda the Ultimate

type	title	author	last post
Story	Felleisen: How to Design Class Hierarchies Define traversal once with Functor by shapr And yet, that's no longer the Machine. by shapr Only the new value is created, all else is shared. by shapr	Ehud Lamm	2006-02-21 15:44
Forum topic	The fate of reduce() in Python 3000 Yeah, I want unit tests. by shapr It's gorgeous, can you add an explicit license? by shapr	Andrei Formiga	2006-02-12 19:27
Story	Djinn, a theorem prover in Haskell, for Haskell. Proof programming? by shapr	shapr	2006-01-24 18:58
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene Recent developments by shapr Yeah! by shapr	shapr	2006-01-12 16:51
Forum topic	Bruce Tate: Technologies that may challenge Java I agree, back to why things are the way they are? by shapr swing, by Cale Gibbard by shapr What's modern? by shapr	shahbaz	2006-01-12 06:01
Forum topic	Types and reflection Polyvariadic functions in Haskell by shapr XmlRpc and Haskell by shapr	andnaess	2005-12-14 08:23
Story	Envisioning a New Language: A Conversation With Victoria Livschitz Problem solved via Language Support. True or False? by shapr	Ehud Lamm	2005-12-11 23:52
Forum topic	New languages for OS level programming? See "A Principled Approach to Operating System Construction" by shapr	dataangel	2005-12-01 17:30
Forum topic	Dependent types: literature, implementations and limitations ? Page 462 of Types and Programming Languages by shapr	David Teller	2005-11-24 11:55
Story	Monads in Ruby Doh, I forgot Scheme! by shapr Monads hit the Big Time, Monads in Joy. by shapr	Matt Hellige	2005-11-24 11:12
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
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