Lambda the Ultimate

type	title	author	last post
Story	Common Lisp: The Untold Story Java interfaces by Andreas Rossberg Not sure about the Java details by Andreas Rossberg Ambiguous by Andreas Rossberg Parallel requires independent by Andreas Rossberg Make and incremental by Andreas Rossberg Separate compilation by Andreas Rossberg	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Higher order versus Object order Agree by Andreas Rossberg	Francis McCabe	2012-05-17 17:45
Forum topic	Retrospective Thoughts on BitC I agree it's a hackish by Andreas Rossberg Continuum by Andreas Rossberg RC vs GC by Andreas Rossberg Well, sure, but by Andreas Rossberg Dynamic scope checks by Andreas Rossberg Yes, but by Andreas Rossberg Algol 68 can handle that by Andreas Rossberg By-ref by Andreas Rossberg	raould	2012-04-18 16:43
Forum topic	Symmetry in type systems Duality of computation by Andreas Rossberg	Jules Jacobs	2012-04-17 22:15
Forum topic	Disruptive PLT Revisited Not so easy by Andreas Rossberg Sounds familiar by Andreas Rossberg That is already happening by Andreas Rossberg	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design Interesting but somewhat outdated by Andreas Rossberg Funny by Andreas Rossberg Tautology by Andreas Rossberg Non sequitur by Andreas Rossberg I could easily name papers by Andreas Rossberg Scientific maturity by Andreas Rossberg I don't get your (1) by Andreas Rossberg Goes both ways by Andreas Rossberg Proofs are tedious by Andreas Rossberg Wow by Andreas Rossberg ...	giuseppemag	2012-03-30 05:42
Story	A Concept Design for C++ Without doubt by Andreas Rossberg Leaky abstractions by Andreas Rossberg Wrong principles or wrong tools by Andreas Rossberg Much of the damage by Andreas Rossberg Two examples by Andreas Rossberg AFAICS, nobody here has by Andreas Rossberg Principles, not tools by Andreas Rossberg Frustrating by Andreas Rossberg Frankly, if those are your by Andreas Rossberg I'm not an expert on staged by Andreas Rossberg ...	James Iry	2012-03-04 21:35
Forum topic	why first-class functions Second-class functions by Andreas Rossberg Unless... by Andreas Rossberg There is no programming by Andreas Rossberg	ad1mt	2012-03-02 13:33
Forum topic	Evolution of mainstream programming language paradigms Previously on LtU: Tim Sweeney by Andreas Rossberg	const	2012-02-08 02:01
Forum topic	Go's proposed panic/recover exception-like mechanism Abstracting over exception specifications by Andreas Rossberg Right by Andreas Rossberg Exceptions + Futures by Andreas Rossberg No suggestion by Andreas Rossberg I'm not convinced by Andreas Rossberg	pgregory	2012-01-07 01:57
Story	Cambridge Course on "Usability of Programming Languages" Mathematical by Andreas Rossberg	James Iry	2012-01-06 03:55
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Wrapping state by Andreas Rossberg Don't see how that helps by Andreas Rossberg Language feature or implementation technique? by Andreas Rossberg For example by Andreas Rossberg Er... by Andreas Rossberg Sorry, but by Andreas Rossberg Mutable state ≠ mutable definitions by Andreas Rossberg Types are irrelevant here, Vol. XVI by Andreas Rossberg There is no order by Andreas Rossberg You are changing your statement by Andreas Rossberg ...	puredanger	2011-11-19 23:37
Forum topic	Is the Expression Problem Fundamental? Ilegitimate complaint by Andreas Rossberg Not specific to types by Andreas Rossberg	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof [OT] Please include authors in post by Andreas Rossberg	Paul Snively	2011-11-12 12:16
Forum topic	Haskell V Java type checking More expressive by Andreas Rossberg	Patrick Browne	2011-11-09 17:31
Forum topic	"Crutches in language design", accidental complexity and feature overlap Standard ML by Andreas Rossberg	gasche	2011-11-07 11:46
Story	Extensible Programming with First-Class Cases Different issue by Andreas Rossberg OCaml's objects are poly records by Andreas Rossberg	naasking	2011-11-05 14:53
Story	Dennis Ritchie passed away C preprocessor by Andreas Rossberg	Ehud Lamm	2011-10-29 02:45
Forum topic	Subsumption at all costs Subsumption by Andreas Rossberg	bashyal	2011-10-13 19:18
Forum topic	Forum Topics and Story Agree by Andreas Rossberg	Henry Luo	2011-09-24 17:53
Forum topic	How to classify type of ML's exn ? (Naive question) One ref per exn by Andreas Rossberg Hm, I'm not sure by Andreas Rossberg In a sense, yes by Andreas Rossberg Extensible/open datatype/sum by Andreas Rossberg	scottmcl	2011-09-19 08:06
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Error-prone by Andreas Rossberg This is fundamentally broken by Andreas Rossberg	Tom Primožič	2011-08-22 19:36
Forum topic	Implementor's guide/tutorial to delimited continuations? Nitpicking only by Andreas Rossberg Clarification by Andreas Rossberg	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Knockout JS Point taken by Andreas Rossberg A bad tool is a bad tool by Andreas Rossberg These languages by Andreas Rossberg Tools can be good or bad by Andreas Rossberg JS as a compilation target by Andreas Rossberg	raould	2011-07-28 05:57
Forum topic	The Last Language? Mathematical? by Andreas Rossberg Absurd reasoning by Andreas Rossberg Don't waste your time by Andreas Rossberg	Dominic Fox	2011-07-20 14:51
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