Lambda the Ultimate

type	title	author	last post
Forum topic	The Evolution of CS Papers Geography? by gasche TL;DR by gasche	Sean McDirmid	2014-03-11 14:09
Forum topic	Resilient Languages Thanks by gasche Better warnings (and type system) by gasche	spdegabrielle	2014-03-11 00:57
Story	Jeeves References by gasche	Ehud Lamm	2014-03-02 16:02
Forum topic	Disallow shadowing? Tagging definitions with domain-specific names by gasche Indeed by gasche Type-driven smart glue by gasche Yes. $p on binders denotes by gasche Hm by gasche Coffeescript has no binders + syntax for warnings by gasche	Y	2014-02-25 02:06
Forum topic	"Down with Lambda-Lifting" Ask him by gasche	dbfaken	2014-02-24 17:04
Forum topic	Limitations of Prolog-style clausal programs It may be a by gasche volunteer moderator by gasche	Hewitt	2014-02-11 10:53
Forum topic	POPL 2014 proceedings available freely for all A few reasons by gasche Links are no more by gasche Hm by gasche Paper list by gasche	gasche	2014-02-08 00:34
Forum topic	Examples for benefitfs of dynamic programming languages Related work by gasche "Dynamic" features? by gasche	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. It was, however, an by gasche Static or dynamic by gasche Bedrock by gasche Nope; dispatch happens before specialization by gasche Static dispatch by gasche Indeed by gasche Dispatch by gasche Yes, but what/how? by gasche PL teaching by gasche Familiarity by gasche ...	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Backpack by gasche Hm by gasche Intersection types accept all normalizing terms by gasche Weak and strong sums by gasche	Kannan Goundan	2014-01-15 04:00
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
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