Lambda the Ultimate

type	title	author	last post
Story	Julia, a language for technical computing else if bikeshedding by gasche	Manuel J. Simoni	2012-03-12 02:05
Forum topic	Research in Programming Languages A counterpoint by Chris Martens by gasche Interesting bits and discussion by gasche	Sean McDirmid	2012-03-10 11:01
Story	What does focusing tell us about language design? Very interesting indeed. by gasche	Manuel J. Simoni	2012-03-07 19:07
Forum topic	why first-class functions I don't think point-free is by gasche Parametrization is the fundamental redundancy-hunting tool by gasche	ad1mt	2012-03-02 13:33
Story	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Embracing the ambiguity using coherence proofs by gasche	Manuel J. Simoni	2012-03-01 16:27
Story	Effective Scala flatMap is the new bind by gasche	Ehud Lamm	2012-02-10 17:22
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations While you're at it, you by gasche	Paul Snively	2012-02-09 18:04
Forum topic	Active Variables in Common Lisp Why make activation by gasche	kruhft	2012-02-08 18:02
Forum topic	Evolution of mainstream programming language paradigms But ample margins by gasche	const	2012-02-08 02:01
Forum topic	Small is Beautiful: the design of Lua Sequences are annotated numbers by gasche	bashyal	2012-02-07 14:33
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
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