Lambda the Ultimate

type	title	author	last post
Story	A Tail-Recursive Machine with Stack Inspection Cool paper! by Josef Svenningsson	Dave Herman	2013-10-01 15:34
Story	Is Transactional Programming Actually Easier? Based on my observations I would tend to agree by Josef Svenningsson	Z-Bo	2010-09-10 18:31
Forum topic	Types/Ordering of canonical FP compiler transforms and optimizations? Andre Santos thesis by Josef Svenningsson	scottmcl	2010-06-02 01:39
Story	A Computer-Generated Proof that P=NP Interesting optimization by Josef Svenningsson	Leon P Smith	2009-04-20 19:18
Story	Prediction for 2008 I will chicken out and say by Josef Svenningsson	Ehud Lamm	2008-12-29 15:56
Forum topic	Choice of OS of LtU readers Windows XP by Josef Svenningsson	marco	2008-10-21 11:00
Story	Lightweight Fusion by Fixed Point Promotion I agree by Josef Svenningsson	neelk	2008-06-16 22:26
Story	The irreducible physicality of security properties Security is relative, but still meaningful by Josef Svenningsson	Charles Stewart	2008-05-18 14:42
Forum topic	Examples of large-scale functional language projects Erlang by Josef Svenningsson	Luke Flemmer	2008-01-06 18:44
Story	Compiling with Continuations, Continued The way they implemented by Josef Svenningsson I think these kind of by Josef Svenningsson	neelk	2007-08-22 22:03
Story	Towards efficient, typed LR parsers That paper just blew my mind by Josef Svenningsson	neelk	2007-05-07 11:09
Story	Data Parallel Haskell: a status report Promising work by Josef Svenningsson	Ehud Lamm	2007-04-17 00:22
Story	Static Typing for a Faulty Lambda Calculus Focus on the wrong thing by Josef Svenningsson	neelk	2007-03-09 20:16
Story	Termination Checking with Types On Termination by Josef Svenningsson	neelk	2007-02-09 20:53
Story	[Redux] A Syntactic Approach to Type Soundness (1992) An important paper indeed by Josef Svenningsson	cdiggins	2006-12-08 14:52
Story	Grammar Visualization Some random reflections by Josef Svenningsson	Ehud Lamm	2006-11-27 11:57
Forum topic	Your favourite editor/IDE	Josef Svenningsson	2006-08-27 07:38
Forum topic	Rules for Developing Safety-Critical Code Amen, brother! by Josef Svenningsson	Peter J. Wasilko	2006-06-25 21:26
Forum topic	How are GADTs useful in practical programming? Deriving combinator libraries a la John Hughes by Josef Svenningsson	Klaus Ostermann	2006-06-21 13:31
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing You're absolutely right by Josef Svenningsson Informatics by Josef Svenningsson The root of the problem by Josef Svenningsson Computers Ltd by Josef Svenningsson Software by Josef Svenningsson Hmmm... by Josef Svenningsson Thanks by Josef Svenningsson A slightly OT question by Josef Svenningsson	shapr	2006-05-30 17:35
Story	Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) This paper comes after CMT by Josef Svenningsson	shapr	2006-05-17 12:42
Forum topic	Designing a Type Notation for a Stack Based Functional Language Swap by Josef Svenningsson	cdiggins	2006-05-12 20:02
Story	Computer Science Looks for a Remake Proof, correctness and pay-as-you-go by Josef Svenningsson Proof carrying code by Josef Svenningsson	Ehud Lamm	2006-05-10 20:48
Forum topic	Purity in PLT Everything-is-a proof by Josef Svenningsson	Jim Apple	2006-04-08 10:56
Forum topic	Using continuations in Web applications is patented	Josef Svenningsson	2006-03-24 00:39
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