Lambda the Ultimate

type	title	author	last post
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
Forum topic	Embedding Prolog in Haskell Thanks! by neelk See Schroeder-Heister on definitional reflection by neelk	Frank Atanassow	2012-02-13 17:04
Forum topic	Small is Beautiful: the design of Lua The Lua-C API... by neelk	bashyal	2012-02-07 14:33
Forum topic	iPhone PL lockdown I don't see it having a huge by neelk This was already banned... by neelk	Sean McDirmid	2011-12-24 05:49
Forum topic	John McCarthy has passed He also pioneered formal correctness... by neelk	Thomas Lord	2011-12-11 10:31
Forum topic	Models for distributed parallelism Take a look at the X10 programming language by neelk	Victor Eijkhout	2011-12-08 21:56
Story	CRA-W/CDC and SIGPLAN Programming Languages Mentoring Workshop	neelk	2011-11-30 20:46
Story	LTL types FRP That's a very pretty idea! by neelk Have you seen... by neelk The Loeb-fixed point is aka Banach's unique fixed point theorem by neelk Partial answer... by neelk Information order by neelk In the topos of trees... by neelk I think sticking with by neelk Wow, LTL is weird by neelk	Charles Stewart	2011-11-26 23:39
Forum topic	"Crutches in language design", accidental complexity and feature overlap You don't need named parameters for this... by neelk	gasche	2011-11-07 11:46
Forum topic	Are extensible records first class patterns? Polymorphic record by neelk	Douglas McClean	2011-11-07 03:49
Story	Dennis Ritchie passed away I agree with your nomination... by neelk	Ehud Lamm	2011-10-29 02:45
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