Lambda the Ultimate

type	title	author	last post
Forum topic	"Next Page" comment links not working The main fix I want... by neelk	Sean McDirmid	2012-10-25 08:09
Story	Commentary on Standard ML My own favorite semantics for SML is... by neelk	Chris Rathman	2012-09-12 19:44
Forum topic	Alien worlds, values, and you can't touch this Hi Sean... by neelk	Sean McDirmid	2012-09-11 13:15
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. What do you think about X10? by neelk	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback I do have some plans... by neelk Modularity and type theory by neelk	David Wagner	2012-09-04 09:14
Story	Self.congratulate Those would all be nice, but by neelk The single biggest improvement... by neelk	Ehud Lamm	2012-08-06 10:41
Forum topic	Immediate mode GUIs Hi Thomas,Thanks for your by neelk The point about immediate by neelk I'll reply soon... by neelk I have thought a fair bit about this... by neelk	Sean McDirmid	2012-07-27 04:18
Story	Mechanized λ<sub>JS</sub> Here's how to read them by neelk	Paul Snively	2012-07-25 13:37
Story	Garbage Collection Without Paging Hi, did you try to submit by neelk Obviously, I'd like to hear by neelk	neelk	2012-07-25 00:39
Forum topic	How to respect language styles while translating? There are... by neelk	raould	2012-07-24 18:15
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc This is a very nice thesis... by neelk	Paul Snively	2012-07-24 00:43
Forum topic	OO type systems and BNFs I would... by neelk	Sean McDirmid	2012-07-20 19:36
Forum topic	Erik Meijer started a discussion on Domain Specific Languages How broadly... by neelk	w7cook	2012-07-13 00:52
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Expert OO designers reason by neelk Yes, really by neelk	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited Historical note by neelk	Z-Bo	2012-06-28 01:36
Forum topic	Null, bottom, etc.? Interestingly... by neelk	oconnor0	2012-06-25 23:41
Forum topic	Quantitative comparison of unit testing vs. static typing? There were two things I by neelk It's probably a fairly accurate perception... by neelk	lmeyerov	2012-06-22 02:59
Forum topic	Proofs as programs Easiest to see with an example... by neelk	hbrandl	2012-05-29 09:43
Forum topic	Reducers - A Library and Model for Collection Processing Think about what happens... by neelk	mehryar	2012-05-22 18:02
Forum topic	Higher order versus Object order It's okay... by neelk	Francis McCabe	2012-05-17 17:45
Forum topic	Certified Programming with Dependent Types: home stretch! For data structures in Haskell... by neelk	Adam Chlipala	2012-04-22 22:31
Forum topic	Disruptive PLT Revisited Hey, that's great! by neelk I've been thinking... by neelk	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design Hmm... by neelk That's not been my experience... by neelk	giuseppemag	2012-03-30 05:42
Story	A Concept Design for C++ That is... by neelk	James Iry	2012-03-04 21:35
Story	The Algebra of Data, and the Calculus of Mutation Look at Andrew Kennedy's 1997 POPL paper... by neelk	Manuel J. Simoni	2012-02-15 00:19
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