Lambda the Ultimate

type	title	author	last post
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Categorical Logic by Derek Elkins CLF by Derek Elkins My absolute favourite paper by Derek Elkins	John Carter	2009-05-23 23:23
Story	ADD 50 TO COBOL GIVING COBOL What are the PLT contributions of Cobol? by Derek Elkins	James Iry	2009-05-02 10:14
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? One interesting approach by Derek Elkins	Johan Tibell	2009-04-28 20:09
Story	Building a Modern Computer From First Principles Firstly, I have to say I hear by Derek Elkins	Ehud Lamm	2009-03-30 07:07
Story	ACM Queue: A Conversation with Alan Kay Type Signatures in Haskell Practice by Derek Elkins	Ehud Lamm	2009-03-24 18:50
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First The RAFTS project had some by Derek Elkins	Luke Gorrie	2009-03-14 06:49
Forum topic	Using coalgebraic structures for traversing ADTs lazily If you were coming at this by Derek Elkins	marco	2009-03-10 01:49
Story	Denotational design with type class morphisms Type classes as theories indeed by Derek Elkins Type classes don't have a denotation by Derek Elkins Semantic Algebras by Derek Elkins Algebraic Semantics by Derek Elkins	Matt Hellige	2009-02-25 20:28
Forum topic	Declarative layout and/or UI languages? Animation: From Cartoons to by Derek Elkins	naasking	2009-02-18 10:05
Story	Parameterized Notions of Computation I would think it would be by Derek Elkins We'll add -Wmutation to GCC by Derek Elkins	neelk	2009-02-17 19:38
Story	LtU: blog not forum! This was the gist of my post by Derek Elkins Perhaps it would be by Derek Elkins Being the author of this the by Derek Elkins	Ehud Lamm	2009-02-14 14:11
Forum topic	Looking for papers describing advanced language topics in terms of C programming closing over by Derek Elkins	derekp	2009-02-12 06:39
Forum topic	Introducing Dawn - yet another new language Policy by Derek Elkins	Poul Krogh	2009-02-06 09:07
Forum topic	Explaining monads There's no way Arrows can be by Derek Elkins I find that one more by Derek Elkins	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language This is much better, but by Derek Elkins To answer your very last by Derek Elkins	Isaac Gouy	2009-01-30 00:38
Forum topic	Non-standard type theories for FP Even in a total language, by Derek Elkins Cripes. by Derek Elkins History by Derek Elkins	marco	2009-01-25 03:59
Forum topic	Lambda Calculus Notation Usually substitution is by Derek Elkins	Peter Michaux	2009-01-21 22:36
Forum topic	Fundamental Flaws in Current Programming Language Type Systems Tangent: Haskell does not have views by Derek Elkins	Bruce Rennie	2009-01-16 16:42
Forum topic	Job board on LtU? I'm rather against it by Derek Elkins	yminsky	2009-01-10 03:47
Story	Python 3000 Status Update Objective by Derek Elkins	Mark Evans	2009-01-03 03:49
Forum topic	The Lambda Cube & Some Programming Languages The lambda cube seems to be by Derek Elkins	Jason Dusek	2008-12-31 17:31
Forum topic	Irresistible programs The thing is simply that one by Derek Elkins	Ehud Lamm	2008-12-03 21:21
Story	Clojure: Trampoline for mutual recursion DanFest 2004 by Derek Elkins	Chris Rathman	2008-11-30 02:33
Forum topic	Subtyping + overloading Defaulting by Derek Elkins No implicit coercions by Derek Elkins The second sentence from my by Derek Elkins Type lambdas by Derek Elkins Subtyping is an interface-level concept by Derek Elkins It's not an implicit by Derek Elkins	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Extensible tuples? Zip Calculus by Derek Elkins	Alex Rubinsteyn	2008-11-17 18:04
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