Lambda the Ultimate

type	title	author	last post
Forum topic	Embedding Prolog in Haskell Thanks! by neelk See Schroeder-Heister on definitional reflection by neelk	Frank Atanassow	2012-02-11 08:39
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-10 17:55
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
Forum topic	Google's Dart announced I think... by neelk Quick reactions:Good: by neelk	vieiro	2011-10-31 14:22
Story	Dennis Ritchie passed away I agree with your nomination... by neelk	Ehud Lamm	2011-10-29 02:45
Story	Opa No... by neelk I think the real failure, by neelk	Ehud Lamm	2011-10-28 01:42
Story	Open thread: RIP Steve Jobs The ban is still not gone... by neelk Well... by neelk	Ehud Lamm	2011-10-27 14:14
Forum topic	F# type providers I think JSON is dominating... by neelk IIUC, typ providers... by neelk	Gabriel Horvath	2011-10-12 08:43
Forum topic	Critical Programming Language Design VPRI? by neelk	Sean McDirmid	2011-10-04 23:00
Forum topic	How to classify type of ML's exn ? (Naive question) exn is an extensible sum by neelk	scottmcl	2011-09-19 08:06
Story	the gnu extension language Here's an example by neelk For functions... by neelk	Manuel J. Simoni	2011-09-14 22:16
Story	A Semantic Model for Graphical User Interfaces Also, our implementation by neelk I made a series of blog by neelk	Ohad Kammar	2011-09-12 15:14
Forum topic	[Ask LTU] How to implement concurrent languages ? Hi Ravi, I don't know of by neelk	Ravi Mohan	2011-08-11 14:29
Story	Lightweight Monadic Programming in ML A minimally category-theoretic intro to algebraic effects... by neelk	Paul Snively	2011-08-10 20:39
Story	Decidability of Higher Order Matching	neelk	2011-08-02 12:19
Forum topic	Why is tail call optimization an issue in GC'd languages? In this case... by neelk	Sriram Srinivasan	2011-08-02 09:20
Forum topic	The Last Language? Yes, you understand what I mean by neelk You don't need it by neelk I do expect a new Cambrian explosion by neelk	Dominic Fox	2011-07-20 14:51
Forum topic	Of Course ML Has Monads! This isn't the case at all. by neelk	Ohad Kammar	2011-07-14 14:24
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