Lambda the Ultimate

type	title	author	last post
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
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
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