Lambda the Ultimate

type	title	author	last post
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
Forum topic	Middle History of Logic Programming Nice by Andreas Rossberg Indeed by Andreas Rossberg Abstract signatures by Andreas Rossberg Come on... by Andreas Rossberg And... by Andreas Rossberg Not funny by Andreas Rossberg Not a real issue by Andreas Rossberg	Hewitt	2011-06-28 02:49
Forum topic	modules are anti-modular Why? by Andreas Rossberg Assumptions by Andreas Rossberg No reflection involved by Andreas Rossberg Right by Andreas Rossberg	el-vadimo	2011-06-27 17:31
Story	Patterns in Functional Programming Of course by Andreas Rossberg	Ehud Lamm	2011-05-18 11:43
Forum topic	Nomenclature for impure functions Control effects by Andreas Rossberg	Alexandre Cossette	2011-04-28 03:28
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 It's not about punishing bad programmers by Andreas Rossberg Premature optimization? by Andreas Rossberg	marco	2011-04-24 10:41
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence Of course by Andreas Rossberg I disagree with much by Andreas Rossberg	Sean McDirmid	2011-04-19 23:40
Forum topic	Redhat's New Language Leibniz by Andreas Rossberg Same thing by Andreas Rossberg Looks OK, but what for? by Andreas Rossberg	Noel	2011-04-16 03:10
Forum topic	Extensible nesting of classes Yes by Andreas Rossberg Sorry, I still don't get it by Andreas Rossberg Ah, no by Andreas Rossberg Syntax confusion by Andreas Rossberg "Containment" by Andreas Rossberg Sounds familiar by Andreas Rossberg	Sean McDirmid	2011-04-07 10:16
Forum topic	InfoQ video + transcript of Rob Pike on Go Depends by Andreas Rossberg Code update is hard by Andreas Rossberg "Runtime dispatch" by Andreas Rossberg Interfaces are structural object types, mostly by Andreas Rossberg Accidental? by Andreas Rossberg Not equivalent by Andreas Rossberg Be that as it may be by Andreas Rossberg My 2 cents, having looked at by Andreas Rossberg	raould	2011-03-11 00:14
Forum topic	Go or Unladen Swallow? And half of it by Andreas Rossberg Saner rules by Andreas Rossberg	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Fast Compilers Not specific to C by Andreas Rossberg Backwards compatibility by Andreas Rossberg Precompiled headers by Andreas Rossberg Transitive inclusion by Andreas Rossberg ...include files by Andreas Rossberg	Ed Earl Ross	2011-01-19 23:50
Story	Good Ideas, Through the Looking Glass Objects as records by Andreas Rossberg	Ehud Lamm	2011-01-15 17:04
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Implicit conversions by Andreas Rossberg Tuple with named fields = record by Andreas Rossberg Different issue by Andreas Rossberg Unification by Andreas Rossberg	scottmcl	2011-01-15 09:49
Story	Generics: The Importance of Wildcards Orthogonal to type-erasure by Andreas Rossberg	Ehud Lamm	2011-01-14 15:36
Forum topic	The Myths of Object-Orientation Circular? by Andreas Rossberg Not safe by Andreas Rossberg Asynchronous RPCs = synchronous RPCs + threads by Andreas Rossberg Proto buffers by Andreas Rossberg Deeper call chains by Andreas Rossberg Very common by Andreas Rossberg RPCs bad? by Andreas Rossberg Marx misread (once again?) by Andreas Rossberg	el-vadimo	2010-12-21 17:28
Forum topic	Clojure's Solutions to the Expression Problem See here by Andreas Rossberg Bad examples by Andreas Rossberg Meta programming? by Andreas Rossberg True by Andreas Rossberg Trade-off between strong and flexible by Andreas Rossberg Hm by Andreas Rossberg Plotkin by Andreas Rossberg Full abstraction by Andreas Rossberg Don't think so by Andreas Rossberg Computation Spaces? by Andreas Rossberg	fogus	2010-11-27 07:21
Forum topic	Closures without function pointers Defunctionalization by Andreas Rossberg	Alex Rubinsteyn	2010-11-17 21:12
Forum topic	The barrier to take-up of language innovation Properties as types by Andreas Rossberg Dependent on "runtime" values by Andreas Rossberg Alternative function syntax by Andreas Rossberg Violent agreement? by Andreas Rossberg That's not dependent types by Andreas Rossberg Not concerned with error messages by Andreas Rossberg How? by Andreas Rossberg Set notation by Andreas Rossberg Explicit tail calls by Andreas Rossberg Yes by Andreas Rossberg ...	ad1mt	2010-11-06 03:26
Forum topic	Asynchronous Programming, Monads and Continuations in C#, F# and Scala Interesting by Andreas Rossberg Why not fix that? by Andreas Rossberg "Task" vs future? by Andreas Rossberg	Jules Jacobs	2010-10-31 20:37
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Exponential behaviour by Andreas Rossberg	Greg Buchholz	2010-10-22 21: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