Lambda the Ultimate

type	title	author	last post
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Right by Andreas Rossberg Not sure by Andreas Rossberg Misunderstanding? by Andreas Rossberg Encoding by Andreas Rossberg Ill-typed update by Andreas Rossberg "Generic programming on record types"? by Andreas Rossberg Poor man's row polymorphism by Andreas Rossberg Objects are records by Andreas Rossberg Record polymorphism by Andreas Rossberg In OO terms by Andreas Rossberg	scottmcl	2009-12-14 21:20
Story	John Hughes on Erlang and Haskell Still equivalent by Andreas Rossberg Equivalent problems by Andreas Rossberg In open distributed systems by Andreas Rossberg How does this differ? by Andreas Rossberg Greenspunning type systems by Andreas Rossberg Closed programs are not interesting by Andreas Rossberg Cannot readily leverage by Andreas Rossberg Types by Andreas Rossberg	James Iry	2009-12-02 10:16
Forum topic	Connections between Transactions and Promises/Futures? No substitute by Andreas Rossberg	naasking	2009-11-24 20:29
Forum topic	I Seek a Reasonable Survey on the Concept of "Module System" Maybe Pierce's ICFP talk by Andreas Rossberg	scottmcl	2009-11-18 15:51
Forum topic	What is a Type? Contracts by Andreas Rossberg	andrew johnson	2009-10-28 20:53
Forum topic	Turning every module into a functor automatically? It is by Andreas Rossberg Yes by Andreas Rossberg Yes, it matters by Andreas Rossberg Modules vs components by Andreas Rossberg Interfaces vs overriding by Andreas Rossberg Mass overriding by Andreas Rossberg	Manuel J. Simoni	2009-09-29 18:05
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Maybe hard, but manageable by Andreas Rossberg	kaveh.shahbazian	2009-09-25 08:54
Forum topic	ruby vs python Yikes! by Andreas Rossberg	shahbaz	2009-09-21 10:28
Forum topic	Various binding styles in OO Overriding vs. overloading by Andreas Rossberg	raould	2009-08-08 00:05
Forum topic	Definition of Functional Programming Language Two properties by Andreas Rossberg	vag	2009-08-07 22:39
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
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