Lambda the Ultimate

type	title	author	last post
Forum topic	Compile-Time Execution in an Object Oriented Language Similarly for C# by Derek Elkins	cdiggins	2008-01-22 21:31
Forum topic	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility fixed by Derek Elkins	Derek Elkins	2008-01-22 19:01
Forum topic	The Logic of Proofs	Derek Elkins	2008-01-22 06:47
Forum topic	Well-typed programs can’t be blamed Tech Talk by Derek Elkins	Marc Hamann	2008-01-15 00:40
Forum topic	Nested Schedulers: A Tree Is Not Enough? Lock free algorithms by Derek Elkins	Andris Birkmanis	2008-01-04 09:09
Forum topic	functions, statements, expressions Theory applied by Derek Elkins Which? by Derek Elkins There were at least two by Derek Elkins We just discussed this by Derek Elkins	Jason Dusek	2007-12-25 10:52
Forum topic	Concurrency with Scheme Sequential Concurrency and Concurrent Sequences by Derek Elkins	vieiro	2007-12-21 20:56
Forum topic	The work of Atsushi Ohori Genuine shift/reset in Haskell98 by Derek Elkins The work of Kenichi Asai by Derek Elkins	Derek Elkins	2007-12-15 05:26
Story	S has a left inverse Here's by Derek Elkins	Charles Stewart	2007-12-12 16:25
Forum topic	Connecting the first steps Elsewhere by Derek Elkins	rmlinden	2007-12-06 13:08
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management There was discussion (and sufficient enough for me) by Derek Elkins Linearity by Derek Elkins Exercise by Derek Elkins GC and Region Inference by Derek Elkins GC by Derek Elkins	naasking	2007-12-05 17:38
Story	Parametric datatype-genericity Very well known by Derek Elkins	Ehud Lamm	2007-12-05 03:39
Forum topic	On the Importance of Purity Terminology by Derek Elkins Metaprogramming by Derek Elkins Not more precision, more clarity by Derek Elkins Usually, type checkers don't by Derek Elkins CH by Derek Elkins Your part on CH is totally jacked up by Derek Elkins	naasking	2007-12-02 14:53
Forum topic	Derivation trees for lambda-calculus Tim by Derek Elkins	ilSignorCarlo	2007-11-28 22:03
Forum topic	A survey and discussion of taming effects Effect systems by Derek Elkins	naasking	2007-11-28 19:24
Story	A functional correspondence between evaluators and abstract machines It's wired in by Derek Elkins A reference of the relevant papers by Derek Elkins I mentioned it a long time by Derek Elkins	Andris Birkmanis	2007-11-28 01:02
Story	Samurai - Protecting Critical Data in Unsafe Languages To put it another way... by Derek Elkins For the love of Pete! by Derek Elkins "Haskell" by Derek Elkins History by Derek Elkins Purity and Static Typing by Derek Elkins This is unconstructive and by Derek Elkins	Ehud Lamm	2007-11-27 16:54
Story	Witnessing Side-Effects neelk should know better by Derek Elkins He is scolding! by Derek Elkins	neelk	2007-11-25 07:58
Story	The Haskell Programmer's Guide to the IO Monad --- Don't Panic And more by Derek Elkins More free monads by Derek Elkins Indeed, Conor's entire site by Derek Elkins Why walk when you can take the tube? by Derek Elkins Semantics by Derek Elkins id by Derek Elkins That wasn't my suggestion by Derek Elkins Connecting Haskell practice to CT practice by Derek Elkins	Ehud Lamm	2007-11-22 21:30
Story	Gödel, Nagel, minds and machines Category Theory by Derek Elkins Coinduction isn't magical. by Derek Elkins	Ehud Lamm	2007-11-22 08:09
Forum topic	Petition for adding garbage collection to C++. My personal opinion by Derek Elkins	Achilleas Margaritis	2007-11-20 16:24
Story	JoCaml Funnel by Derek Elkins	Andris Birkmanis	2007-11-19 15:49
Forum topic	Transducer Composition and CPS I looked at the slides and by Derek Elkins	Andris Birkmanis	2007-11-09 12:49
Forum topic	hi about scheme programming language.... Wrong forum by Derek Elkins	manolya	2007-10-26 15:43
Forum topic	Computing is a Natural Science QC by Derek Elkins Where Mathematics Comes From by Derek Elkins	Hank Thediek	2007-10-15 20:49
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