Lambda the Ultimate

type	title	author	last post
Story	Why Dependent Types Matter Quantifiers by Anton van Straaten	Ehud Lamm	2005-07-05 08:34
Story	The Four Questions More importantly... by Anton van Straaten	Dave Herman	2005-07-05 07:19
Story	Hungarian Notation vs The Right Thing Compression factor by Anton van Straaten Hungering for a real typesystem by Anton van Straaten	Noel	2005-07-04 12:21
Story	How To Read a Paper Good question by Anton van Straaten	Ehud Lamm	2005-06-27 11:09
Forum topic	"applicative" vs."functional" Terminology by Anton van Straaten	bdenckla	2005-06-23 21:40
Story	Alice Through the Looking Glass Open source vs. research by Anton van Straaten Battling the Black Knight by Anton van Straaten Re: Social Issues by Anton van Straaten Untangling by Anton van Straaten Reset: LLVM for advanced functional languages? by Anton van Straaten Just the facts, ma'am by Anton van Straaten Ob. grinch: LLVM & functional languages? by Anton van Straaten	Chris Rathman	2005-06-21 09:36
Story	Computerworld Development Survey 1995? Sure. by Anton van Straaten	Ehud Lamm	2005-06-17 06:49
Forum topic	Pure bigraphs: structure and dynamics (by Robin Milner) [admin] dups deleted by Anton van Straaten	shahbaz	2005-06-12 06:46
Forum topic	Congrats in order Thank you by Anton van Straaten	Chris Rathman	2005-06-10 12:24
Forum topic	What is so bad about compiling? Direct compilation by Anton van Straaten Generality of register machine control flow by Anton van Straaten Partial eval resources by Anton van Straaten Tail-recursive discussion by Anton van Straaten Implementation strategies by Anton van Straaten Wading through the Turing tar by Anton van Straaten	Hank Thediek	2005-06-03 15:44
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
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