lennart | Lambda the Ultimate

lennart

view
track

type	title	author	last post
Forum topic	SK Calculus not Consider SeKsy? Types by lennart	cdiggins	2017-06-10 16:33
Forum topic	Why type systems are interesting Of course they are by lennart	Anton van Straaten	2010-03-08 19:47
Forum topic	Oracles Oracle inventor by lennart In the olden days by lennart	Jack Waugh	2010-02-03 18:31
Forum topic	Object Oriented Programming + Referential Transparency O'Haskell by lennart	mjstahl	2008-10-30 17:40
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages I don't agree. I find by lennart	Ran	2008-10-28 23:49
Forum topic	Functional Programming in the ACM CS Curriculum Knowing FP can help you get by lennart	mwand	2008-07-19 22:42
Story	Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA In some respects hardware is by lennart Of course by lennart	Luke Gorrie	2008-07-08 10:33
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Sure by lennart Folding by lennart	cdiggins	2008-04-22 17:11
Forum topic	poll: syntax I wasn't trying to start a by lennart Why do you think that? I'm by lennart	Givas	2008-01-25 02:00
Forum topic	A Growable Language Manifesto Clean by lennart	RobJellinghaus	2007-12-24 20:01
Forum topic	Question about the Monad associativity law Effects are associative by lennart	sciomako	2007-10-09 20:57
Forum topic	FPGA CPUs It's not that easy by lennart	erich	2007-10-04 19:50
Forum topic	Typed callcc in a stack-based language Can you say something how by lennart	cdiggins	2007-06-06 06:47
Forum topic	Can referential transparency be bad? (puzzle included) Cycles by lennart	Andris Birkmanis	2007-05-12 00:53
Forum topic	The Problem with "dup" and "swap" in Stack-Based Languages I'm getting curious by lennart	cdiggins	2007-01-16 13:55
Forum topic	(Even more) theorems for free? Linear logic by lennart Nothing by lennart Used arguments by lennart Trying Djinn anyway by lennart Theorem proving by lennart	Andris Birkmanis	2007-01-03 21:55
Story	The Future of LtU LtU by lennart	Ehud Lamm	2006-12-26 02:37
Forum topic	Date format in the forum Dates by lennart	Denis Bredelet -jido	2006-12-11 04:11
next page last page