Lambda the Ultimate

type	title	author	last post
Story	Why Concatenative Programming Matters Non-trivial variable plumbing by gasche The Great Tuple Subthread by gasche	James Iry	2013-09-09 19:40
Forum topic	SF-calculus This is correct, the by gasche	Barry Jay	2013-08-30 18:42
Forum topic	Commutative Effects Two relevant works by gasche	Sean McDirmid	2013-08-29 02:13
Forum topic	Request for advice on a senior thesis Ask the people you're interested in by gasche	Taymon A Beal	2013-08-26 17:21
Forum topic	Error reporting strategies during parsing And for LR parsers? by gasche	Matt Fenwick	2013-08-15 20:16
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Seconded by gasche	Sean McDirmid	2013-07-28 00:17
Story	The Three Laws of Programming Language Design Hm by gasche No polymorphism? by gasche Wrong by gasche	bashyal	2013-07-04 14:32
Forum topic	When will we all have effect systems? Plaid, Mezzo, Rust by gasche	raould	2013-07-01 20:38
Forum topic	Dynamic inheritance? From absence predicates (row variables) to crazy field types by gasche	Gabriel Horvath	2013-06-29 15:07
Story	the gnu extension language Is hygiene necessary? by gasche Lambdas are not (only) about delaying evaluation by gasche Who are you replying to? by gasche Maybe not LtU-oriented, but definitely LtU-relevant by gasche	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Teaching Garbage-Collection I heard that due to memory by gasche	shriramk	2013-06-13 16:51
Story	Foundations of Inference Where's the humble programmer? by gasche	Paul Snively	2013-05-21 03:54
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Interesting by gasche See this reddit comment, by by gasche No "No" by gasche	Charles Torre	2013-05-21 02:56
Forum topic	Everybody Needs a Syntax Extension Sometimes Mathematicians and notations by gasche	danbst	2013-05-19 12:26
Forum topic	We're doing it wrong.... Complexity perfectly adapts to latency, caches, parallelism... by gasche	Ray Dillinger	2013-05-15 19:34
Forum topic	Go-style defer-recover exception handling is better than try-catch style? I think both your points are by gasche Defer alone does not mix well with abstraction by gasche	Limin Fu	2013-05-13 01:54
Story	John C. Reynolds, 1935-2013 Student stories by gasche	neelk	2013-05-08 11:20
Forum topic	Aml - A Modular Language (Progress Update) Knowledge reified in the design by gasche	bryanedds	2013-04-23 00:06
Forum topic	GADT vs. Type Classes Misplaced comment? by gasche Red Herring: only works for some select examples by gasche	Greg Buchholz	2013-04-22 22:24
Story	Dependent Types for JavaScript +1 by gasche I don't understand exactly by gasche Meh by gasche What you mean by "we don't by gasche Type erasure by gasche Consistency of the formal system vs. formal/unformal mismatch by gasche Known unsound is better than unknown unsound by gasche Simple: unsound unless proven otherwise by gasche Impressive breadth, but certainly unsound by gasche	naasking	2013-04-18 10:44
Forum topic	The stack calculus : a fundamental (and simple !) calculus for Classical Logic	gasche	2013-04-11 12:13
Forum topic	Peter Van Roy: Programming Paradigms for Dummies Outside-visible named state ? by gasche	Torsten Anders	2013-04-05 15:06
Forum topic	Type dispatch on continuations is isomorphic to type dispatch on calls. Why therefore is it considered "unsound?" There seems to be a misunderstanding by gasche	Ray Dillinger	2013-03-31 08:49
Forum topic	Seeking thoughtful criticisms of functional programming and languages Monads make it too easy to transfer authority by gasche Pure functions and authority encapsulation by gasche	scottmcl	2013-03-31 00:40
Story	How OCaml type checker works -- or what polymorphism and garbage collection have in common A great document by gasche	Paul Snively	2013-03-10 16:42
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