Lambda the Ultimate

type	title	author	last post
Forum topic	functions, statements, expressions First-class turntiles by Marc Hamann	Jason Dusek	2007-12-25 10:52
Story	S has a left inverse No sincere question is stupid by Marc Hamann	Charles Stewart	2007-12-12 16:25
Forum topic	On the Importance of Purity Back to the burrow by Marc Hamann Contravariant coagreement by Marc Hamann The problem with slogans by Marc Hamann Sloganeering by Marc Hamann Let's start with 10%... ;-) by Marc Hamann An ever empty cup by Marc Hamann Open-minded sausage cult by Marc Hamann Wearing my designer lambda shades by Marc Hamann Seeing is believing by Marc Hamann Two legs bad, four legs good by Marc Hamann ...	naasking	2007-12-02 14:53
Forum topic	What have I created? Might be of interest by Marc Hamann	James W Hofmann	2007-12-02 13:04
Forum topic	A survey and discussion of taming effects Full and faithful embedding by Marc Hamann	naasking	2007-11-28 19:24
Story	Samurai - Protecting Critical Data in Unsafe Languages Gallows humour by Marc Hamann [Community] Le't get back on track by Marc Hamann Choose the right default by Marc Hamann A hierarchy of principles by Marc Hamann Nothing revealed that should be hidden by Marc Hamann Assumptions revealed by Marc Hamann Conservativer than thou by Marc Hamann The upside by Marc Hamann	Ehud Lamm	2007-11-27 16:54
Forum topic	Universal Type System To you from failing hands we throw by Marc Hamann A little Wikipedia is a dangerous thing... ;-) by Marc Hamann It's hard out there for a Computationalist by Marc Hamann ZF is too big by Marc Hamann What do you mean by "is"? ;-) by Marc Hamann Not yet... by Marc Hamann	Akhilesh Mritunjai	2007-11-24 18:01
Story	The Haskell Programmer's Guide to the IO Monad --- Don't Panic One missed by Marc Hamann Parametricity by Marc Hamann	Ehud Lamm	2007-11-22 21:30
Story	Gödel, Nagel, minds and machines General case vs. specific case by Marc Hamann How would one know? by Marc Hamann Maybe... by Marc Hamann Lots o' fun, but quite possible ;-) by Marc Hamann The middle path by Marc Hamann The hidden danger is the most dangerous by Marc Hamann Aquinas can have his angels by Marc Hamann Pointful contrarianism only by Marc Hamann Coinduction junction by Marc Hamann Do or do not, there is no try by Marc Hamann ...	Ehud Lamm	2007-11-22 08:09
Forum topic	The simplest mechanism with Turing-equivalent power to date ... Just wanna say... by Marc Hamann Mapping to LC? by Marc Hamann	Mario B.	2007-11-18 21:05
Story	On the origins of Bisimulation, Coinduction, and Fixed Points Who is his audience? by Marc Hamann	Ehud Lamm	2007-11-05 20:48
Story	Online Learning of Relaxed CCG Grammars for Parsing to Logical Form Chicken or Egg? by Marc Hamann dumb(x) -> fails(x) by Marc Hamann	neelk	2007-11-04 19:44
Story	The End of an Architectural Era (It’s Time for a Complete Rewrite) Authoritative data by Marc Hamann	Manuel J. Simoni	2007-10-29 23:34
Forum topic	Different results in the unit root test. Why? Accidental post? by Marc Hamann	angchanyy	2007-10-24 16:10
Forum topic	grammars as a shared executable specification for language processing tools Jughead kibitzes by Marc Hamann	Isaac Gouy	2007-10-21 13:15
Forum topic	Computing is a Natural Science Already there... by Marc Hamann	Hank Thediek	2007-10-15 20:49
Forum topic	Uniqueness Types Instead STM The best transaction system is declarative concurrency by Marc Hamann Consistency by Marc Hamann Summary by Marc Hamann Pragmatism by Marc Hamann A dangerous assumption by Marc Hamann	kaveh.shahbazian	2007-10-12 22:59
Story	Tim Bray and Erlang In the PL design sense... by Marc Hamann	Ehud Lamm	2007-10-09 21:30
Story	Binary Lambda Calculus and Combinatory Logic Minds over machines by Marc Hamann Unfree the variables! by Marc Hamann The catch is... by Marc Hamann	Chris Rathman	2007-09-28 23:59
Forum topic	implementing heap as a binary tree This is OT by Marc Hamann	lsptog	2007-09-27 18:26
Forum topic	Which Journals/Conferences to keep track of? JCAAJCRPLEOOO by Marc Hamann	sciomako	2007-09-25 03:08
Forum topic	Decayed Memoization Different cost by Marc Hamann Another name for... by Marc Hamann	SamK	2007-09-21 02:09
Story	Database Abstraction Layers and Programming Languages 'Cause we have to... by Marc Hamann An example structure by Marc Hamann Enterprise Architecture by Marc Hamann Apologies by Marc Hamann Uncomplimentary? by Marc Hamann Spurious Generality by Marc Hamann	Ehud Lamm	2007-09-13 19:46
Forum topic	Lectures on the Curry-Howard Isomorphism Lectio longa, vita brevis... by Marc Hamann Half-way Whole-hearted Review by Marc Hamann Unnatural deductions by Marc Hamann Finally Have It by Marc Hamann Taking one for the team by Marc Hamann Website Reorg by Marc Hamann	Ehud Lamm	2007-08-28 17:18
Forum topic	A question on free variable capture. Good enough by Marc Hamann Close it on the outside by Marc Hamann Don't worry, be happy by Marc Hamann	cjh	2007-08-24 00:24
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