Lambda the Ultimate

type	title	author	last post
Forum topic	Peak Abstraction Point taken. I'd then say by gasche I understand your comment is by gasche	Sean McDirmid	2012-02-06 17:19
Forum topic	Go's proposed panic/recover exception-like mechanism Any effect or region system by gasche	pgregory	2012-01-07 01:57
Story	Cambridge Course on "Usability of Programming Languages" (As I said, I'm not sure by gasche I frankly doubt "everybody by gasche Ivory tower, blah blah blah by gasche	James Iry	2012-01-06 03:55
Forum topic	Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana I regret so much of this by gasche	Charles Torre	2011-12-28 06:55
Forum topic	2 Misconcepts About Functional Programming (relating to context and monad) Global syntax transformation is Semantics by gasche Monads could help you by gasche	Henry Luo	2011-12-25 09:35
Forum topic	General purpose as a special case? Brother, do you paradigm? by gasche Thanks, fixed. by gasche Lambda the ultimate binder syntax by gasche Against Prolog: more meat please by gasche	Wendell	2011-12-18 04:04
Forum topic	Elm cross-platform functional-reactive Link typo by gasche	raould	2011-12-08 20:52
Forum topic	Proofs of a type system's safety? Inhabitation is inconsistent by gasche Type safety : subject reduction + progress by gasche	Steven StewartGallus	2011-12-07 13:24
Forum topic	REPL-schmepl? In formal terms, you want a by gasche We're not interactive because it's hard, not because it's bad. by gasche	el-vadimo	2011-12-07 00:25
Forum topic	Inconsistency Robustness 2011 at Stanford you have already posted about this event by gasche	Hewitt	2011-11-24 21:34
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman I think this was a joke. I by gasche But I wanted first class by gasche Effects by gasche a 5 minutes PhD thesis ? by gasche Pimp my library by gasche One more lengthy post by gasche Invention by gasche Static type systems enforce semantics by gasche	puredanger	2011-11-19 23:37
Forum topic	Share: a programming environment for loosely bound cooperation Summary, interesting bits and discussion by gasche	Sean McDirmid	2011-11-19 23:33
Forum topic	Is the Expression Problem Fundamental? Intersection types by gasche Principal typings again by gasche Some type systems are I-modular by gasche	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof [OT] and the year of publication by gasche	Paul Snively	2011-11-12 12:16
Forum topic	How to determine your new language is perfect? LLVM IR is a compiler IR by gasche	Mats	2011-11-11 02:37
Forum topic	"Crutches in language design", accidental complexity and feature overlap Unconvinced by gasche unified tuples and records by gasche Thank you for the reference. by gasche	gasche	2011-11-07 11:46
Story	What needs to be done? In defense of lists by gasche	Ehud Lamm	2011-11-07 05:29
Forum topic	extending functions vs. extending objects Quite bogus claim, but nice talk by gasche	raould	2011-11-07 02:03
Story	Dennis Ritchie passed away C-- is a cold-blooded reptile by gasche	Ehud Lamm	2011-10-29 02:45
Forum topic	Can I express variable occurence ranges in logic? abdmaL by gasche	j4n bur53	2011-10-19 10:10
Story	The Trouble with Erlang General : no weaker than necessary outside the comfort zone by gasche Emotional context by gasche Interesting but possibly opinionated by gasche	Charles Stewart	2011-10-14 03:57
Forum topic	Redesigning the Mozart virtual machine I was looking for this one by gasche No, I don't think it's by gasche partially known values by gasche Support for yet-undefined data and unification by gasche	Peter Van Roy	2011-10-04 22:20
Forum topic	Language/Compiler design blogs? I thought of it while by gasche Some pointers by gasche	Azh	2011-10-04 09:20
Story	Google's "The Future of JavaScript" internal memo leaked "closed" versus "open" by gasche Interesting, too soon/closed to say, and slightly frightening by gasche	Z-Bo	2011-09-27 16:31
Forum topic	Forum Topics and Story Noise in one place can be structure in another by gasche A terse interface for a rigourous discussion by gasche Naming by gasche	Henry Luo	2011-09-24 17: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