Lambda the Ultimate

type	title	author	last post
Forum topic	Parsing user defined operators with precedence/assoc ala ML Avoiding mutable state altogether? by Andreas Rossberg Yes, but... by Andreas Rossberg Yacc + some handwork by Andreas Rossberg	scottmcl	2009-08-01 12:05
Forum topic	Microsoft's new Dynamic Language Runtime (DLR) Ownership by Andreas Rossberg Libraries without GC by Andreas Rossberg	Sean McDirmid	2009-07-28 18:21
Story	Cforall His conclusion? by Andreas Rossberg	Jim Apple	2009-07-21 01:47
Forum topic	First-class Polymorphism Advantages by Andreas Rossberg OCaml, Haskell/GHC, Moscow ML by Andreas Rossberg	naasking	2009-07-19 05:05
Forum topic	A Possible Future of Software Development Journal version by Andreas Rossberg	Winheim Raulsh	2009-07-09 08:13
Forum topic	Fully Encapsulated Languages? Are there any out there? I don't follow by Andreas Rossberg Purpose of encapsulation by Andreas Rossberg	John Carter	2009-07-01 03:20
Forum topic	Preventing downcasting and adding a universal variant Language vs terms by Andreas Rossberg Parametricity by Andreas Rossberg	cdiggins	2009-06-16 22:17
Forum topic	A new idea in OOP. Please comment. Concepts by Andreas Rossberg	dakurai	2009-06-10 05:05
Forum topic	Scala Lift Off Unconference review Interesting... by Andreas Rossberg ML modules vs Scala by Andreas Rossberg	raould	2009-06-08 18:17
Forum topic	Extension Methods versus Structural Typing of Traits for solving the expression problem Yes, but... by Andreas Rossberg	cdiggins	2009-05-20 10:47
Forum topic	Static typing may require runtime type checking? Case analysis by Andreas Rossberg This is not runtime typing by Andreas Rossberg	sidhu	2009-05-06 15:18
Story	C++ Futures Multiple assignment by Andreas Rossberg Promises by Andreas Rossberg Assignment by Andreas Rossberg Not necessarily by Andreas Rossberg Ah, OK by Andreas Rossberg Concurrent laziness by Andreas Rossberg "Initiation ≤ Completion" by Andreas Rossberg Not quite by Andreas Rossberg I would put it like this by Andreas Rossberg Spot on by Andreas Rossberg ...	Chris Rathman	2009-03-19 15:25
Forum topic	Microsoft PDC "Language" Talks Contracts can indeed be done away with by Andreas Rossberg Actually by Andreas Rossberg Dependent Types by Andreas Rossberg	shahbaz	2009-02-12 12:16
Forum topic	Looking for papers describing advanced language topics in terms of C programming In essence by Andreas Rossberg Weakness by Andreas Rossberg	derekp	2009-02-12 06:39
Story	PL Grand Challenges Turner's quote by Andreas Rossberg	Ehud Lamm	2009-02-10 16:09
Story	Twilight of the GPU Compiler technology by Andreas Rossberg	Noel	2009-02-06 16:44
Forum topic	Tagged Arithmetic Optimization ZINC paper by Andreas Rossberg	naasking	2009-02-04 22:32
Forum topic	The Origins of the BitC Programming Language That's an existential type by Andreas Rossberg Polymorphic recursion by Andreas Rossberg	Isaac Gouy	2009-01-30 00:38
Story	2008 In Review - What Happened with Programming Languages? "Illusion" = abstraction by Andreas Rossberg	James Iry	2009-01-28 12:15
Forum topic	Non-standard type theories for FP False vs. malformed by Andreas Rossberg	marco	2009-01-25 03:59
Forum topic	Specifying semantics and type rules Denotational semantics by Andreas Rossberg	shap	2009-01-23 13:25
Forum topic	Fundamental Flaws in Current Programming Language Type Systems From the abstract by Andreas Rossberg Type Is Not A Type by Andreas Rossberg Type Dynamic by Andreas Rossberg	Bruce Rennie	2009-01-16 16:42
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Easy by Andreas Rossberg	scottmcl	2009-01-11 22:50
Forum topic	The Lambda Cube & Some Programming Languages Yes by Andreas Rossberg Curious about what? by Andreas Rossberg Subtyping by Andreas Rossberg Answers by Andreas Rossberg	Jason Dusek	2008-12-31 17:31
Forum topic	Practicality of Exclusively Compiler-Driven Unboxing Premises by Andreas Rossberg	shap	2008-12-16 13:48
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