Lambda the Ultimate

type	title	author	last post
Story	Language Design 101 Internal DSLs by Anton van Straaten	Ehud Lamm	2005-06-03 12:27
Forum topic	AST intermediate representations Getting Started thread by Anton van Straaten Designing ASTs for interpretation by Anton van Straaten Re: AST representations by Anton van Straaten Fairly common by Anton van Straaten	Christopher Campbell	2005-05-25 12:29
Forum topic	LLVM 1.5 has been released! GCC as a reusable resource by Anton van Straaten Re: FSF policy by Anton van Straaten	Chris Lattner	2005-05-23 18:50
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages Re: Language Development Tools by Anton van Straaten Cooperative interactive reasoning by Anton van Straaten Theory of static relativity by Anton van Straaten Five different meanings of "static" by Anton van Straaten I'll figure this out eventually... by Anton van Straaten You can have both with dynamically-checked programs by Anton van Straaten Terminology by Anton van Straaten Re: Human-powered type checking by Anton van Straaten Compile errors by Anton van Straaten The unreasonable effectiveness of testing by Anton van Straaten ...	rwuyts	2005-05-17 17:28
Story	subtext: Uncovering the simplicity of programming Sure they matter, but... by Anton van Straaten Semantics unaffected by Anton van Straaten	Ehud Lamm	2005-05-12 20:49
Forum topic	Links Re: LtU by Anton van Straaten Compiler support? by Anton van Straaten	Philip Wadler	2005-05-07 10:23
Forum topic	R6RS Scheme Status Report Even older by Anton van Straaten	Matthew Morgan	2005-05-05 04:07
Forum topic	mechanics of designing and implementing a language k is a branch, Scheme is a root by Anton van Straaten The irony is that SSA is more abstract than C by Anton van Straaten	shahbaz	2005-05-02 09:36
Forum topic	Virtual Machine and Runtime Framework SML/NJ uses 31 bit ints by Anton van Straaten Standard stuff by Anton van Straaten Tail recursion by Anton van Straaten TCO essential for FP [nothing new here] by Anton van Straaten	Nicolas Cannasse	2005-04-29 13:41
Story	Computer generates verifiable mathematics proof Re: Perhaps they should care (2) by Anton van Straaten Re: Interesting claim by Anton van Straaten Machine proofs keep us honest by Anton van Straaten SICM & LC by Anton van Straaten Generality of lambda calculus by Anton van Straaten	Ehud Lamm	2005-04-27 10:44
Forum topic	Script Vs Java Agreed by Anton van Straaten	RajeshKannan	2005-04-25 17:55
Forum topic	Sapir-Whorf again? Spirit of Whorf by Anton van Straaten Rumors of their death... by Anton van Straaten	Andris Birkmanis	2005-04-24 14:55
Forum topic	Denotational semantics of a DSL? Nature of types by Anton van Straaten Built-in types, operators, limitations by Anton van Straaten	Andris Birkmanis	2005-04-15 19:14
Story	Dominus talks about HO Perl PL theory as a way off the treadmill by Anton van Straaten Cool interview by Anton van Straaten	Charles A Stewart	2005-04-14 23:18
Forum topic	What makes a forum topic "active"? "Most" active by Anton van Straaten	Tim Docker	2005-04-13 18:22
Forum topic	Links Slides Messenger wounded by Anton van Straaten	Ethan Aubin	2005-04-12 14:55
Forum topic	Two requests Could we have a way to chan by Anton van Straaten	Daniel Yokomizo	2005-04-08 07:52
Story	Fold Must Fold! Is abstraction too abstract? by Anton van Straaten	Noel	2005-04-02 03:13
Story	print.google.com Page 3 by Anton van Straaten	Charles A Stewart	2005-03-22 19:59
Forum topic	Journals and papers? Paying for access by Anton van Straaten Re: Grumble, grumble... by Anton van Straaten	BigZaphod	2005-03-22 17:56
Story	Inside Software Factories Coining a term by Anton van Straaten	Ehud Lamm	2005-03-21 11:33
Story	Foundational Calculi for Programming Languages (intro)	Anton van Straaten	2005-03-16 08:22
Story	Interview with Donald Knuth The explosive path to ultimate truth by Anton van Straaten Isomorphism lacking by Anton van Straaten	Chris Rathman	2005-03-16 07:37
Forum topic	Another minor usability gripe... No anonymous posts by Anton van Straaten Comments per page by Anton van Straaten Default now set to 90 by Anton van Straaten	Matt Hellige	2005-03-11 02:26
Forum topic	Wanted: platform-independent Standard ML Swap space by Anton van Straaten MLs on Zaurus by Anton van Straaten	John Stracke	2005-03-03 17:42
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