Lambda the Ultimate

type	title	author	last post
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
Forum topic	Programming languages with higher kinds? Some by Andreas Rossberg	Steven Shaw II	2010-10-16 14:58
Forum topic	Perlis Languages Algol vs C by Andreas Rossberg Coq by Andreas Rossberg	Robb Nebbe	2010-10-14 16:16
Forum topic	Mildly Extended MixFix Coq not by Andreas Rossberg	shap	2010-09-23 02:15
Forum topic	GADTs in a dynamically type-checked language? Type or data? by Andreas Rossberg You cannot have your cake and eat it, too by Andreas Rossberg	Manuel J. Simoni	2010-09-16 18:43
Forum topic	What are the properties of "Functional Programming Languages"? First-order functional languages by Andreas Rossberg There's no such thing as a by Andreas Rossberg More pedantry games by Andreas Rossberg For something to qualify as first-class by Andreas Rossberg	kaveh.shahbazian	2010-09-13 17:38
Forum topic	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only Not quite by Andreas Rossberg	scottmcl	2010-08-19 12:33
Forum topic	The ideal style/system for namespaces. Yes you can by Andreas Rossberg Module System >= Namespace Management by Andreas Rossberg	simcop2387	2010-08-16 17:25
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Take a closer look by Andreas Rossberg	shap	2010-08-08 15:11
Story	A Brief, Incomplete ... History of Programming Languages Hilarious by Andreas Rossberg	Anton van Straaten	2010-06-17 05:37
Story	Adding Type Constructor Parameterization to Java What for? by Andreas Rossberg No difference with top type by Andreas Rossberg Parametric relations by Andreas Rossberg Parametricity vs casts by Andreas Rossberg	Manuel J. Simoni	2010-06-08 21:53
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