Lambda the Ultimate

type	title	author	last post
Story	Pure Subtype Systems Step-indexing for strong normalization by gasche	naasking	2014-01-14 06:09
Story	Backpack: Retrofitting Haskell with a Module System, at last	gasche	2014-01-05 16:59
Forum topic	Inconsistency Robustness in Logic Programs Focusing, focusing, focusing by gasche	Hewitt	2014-01-01 18:30
Forum topic	A usage poll for the Coq proof assistant	gasche	2013-12-29 01:07
Forum topic	John Shutt on "Abstractive Power"	gasche	2013-12-25 04:25
Story	The origin of zero-based array indexing Interesting by gasche I don't think wikipedia is by gasche Linguistics and social structure of natural numbers by gasche Hu? by gasche Oh, sorry for mostly by gasche Hm by gasche Interesting but dubious by gasche	Ehud Lamm	2013-12-23 09:24
Forum topic	Default, implicit, inherited The Implicit Calculus, 2012, arxiv by gasche	Aivar Annamaa	2013-12-01 10:14
Forum topic	Why is Static Typing Hard? ML and Haskell by gasche Not modular? by gasche	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory Incremental parsing isn't required for incr. typing by gasche	Alexander Morou	2013-11-09 06:15
Story	The Genuine Sieve of Eratosthenes Wow by gasche	Ehud Lamm	2013-10-26 21:32
Forum topic	Write tracking for Nimrod Worried by gasche	Araq	2013-10-23 17:22
Story	Taking Off the Gloves with Reference Counting Immix hidden CPC reference? by gasche	naasking	2013-10-18 02:42
Forum topic	List of ICFP2013 papers with preprints Point taken by gasche a draft is not the end by gasche Hu? by gasche Do submit there in any case by gasche Help them by gasche Q/A from ICFP, and POPL links (in progress) by gasche	vieiro	2013-10-15 10:58
Story	Copatterns: the final approach to codata?	gasche	2013-10-11 22:36
Story	LVars: monotonic update for deterministic parallel programming Two more things by gasche Single assignment, logic unification, and general lattices by gasche	gasche	2013-10-08 06:30
Forum topic	Trip Reports on Dagstuhl Live Coding seminar Clarification ? by gasche	yaxu	2013-10-07 12:48
Forum topic	GADTs meet subtyping Refinement? by gasche	Matt M	2013-09-30 04:52
Forum topic	How is LtU doing? Good idea by gasche Fluff can go elsewhere by gasche Frontpage editor? by gasche	Sean McDirmid	2013-09-29 23:55
Story	Types for Flexible Objects Imposing whole-program is a design defect by gasche	naasking	2013-09-16 18:49
Story	Mixed-Site Variance Platitudes by gasche Verifying compiler by gasche	bashyal	2013-09-09 21:39
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
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