Lambda the Ultimate

type	title	author	last post
Forum topic	How is LtU doing? dependent type systems by naasking	Sean McDirmid	2013-09-29 23:55
Story	The Size-Change Termination Principle for Constructor Based Languages	naasking	2013-09-19 01:59
Story	Types for Flexible Objects If this minimal amount of by naasking Is it due to bad by naasking Packaging, shipping, and by naasking Because non-modular by naasking Very interesting extension by naasking The return values of by naasking	naasking	2013-09-16 18:49
Forum topic	Proving running times of algorithms Here's a much more recent by naasking Here's one candidate for by naasking I remember it was a by naasking Some papers on LtU have by naasking	jason stumpf	2013-09-13 02:43
Forum topic	Proving the correctness of reactive systems using sized types Updated link for Recursion by naasking	Daniel Yokomizo	2013-09-13 02:35
Story	Why Did M.I.T. Switch from Scheme to Python? That goes to show that few by naasking	Leon P Smith	2013-09-12 17:06
Story	Why Concatenative Programming Matters Visualization is also by naasking I think attributing this to by naasking My own experience reminded by naasking	James Iry	2013-09-09 19:40
Forum topic	Total Self Compiler via Superstitious Logics The latest I've found in the by naasking Self-evaluation by naasking	Matt M	2013-09-03 06:14
Forum topic	SF-calculus Link broken, here's a by naasking	Barry Jay	2013-08-30 18:42
Forum topic	Theory of a Declarative Language But as far as I know they by naasking	thomash	2013-08-29 13:43
Forum topic	Beyond FRP: physics-inspired programming abstractions? Simply efficient functional by naasking	Sean McDirmid	2013-08-22 19:13
Story	Extensible Effects -- An Alternative to Monad Transformers Excellent find! They indeed by naasking	naasking	2013-08-01 13:03
Forum topic	mobile web apps are slow -- and GC is to blame Multi-threading also makes by naasking	Christian Lindig	2013-07-18 22:05
Story	The Three Laws of Programming Language Design Polymonads:From their by naasking	bashyal	2013-07-04 14:32
Forum topic	So You are Thinking of Doing a PhD...	naasking	2013-07-03 13:51
Story	Heap space analysis for garbage collected languages	naasking	2013-06-29 15:01
Forum topic	A little comparison of some programming lanugages Sure, and Deca, and Clay. by naasking Sure, there's nothing really by naasking Definitely an interesting by naasking	raould	2013-06-15 20:14
Forum topic	Teaching Garbage-Collection Bacon's and Petrank's by naasking	shriramk	2013-06-13 16:51
Forum topic	Computability Logic	naasking	2013-05-28 14:22
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Tree shaking isn't quite a by naasking	Charles Torre	2013-05-21 02:56
Forum topic	Everybody Needs a Syntax Extension Sometimes If we accept these two by naasking	danbst	2013-05-19 12:26
Forum topic	We're doing it wrong.... Cache-oblivious algorithms by naasking	Ray Dillinger	2013-05-15 19:34
Forum topic	The Unreasonable Effectiveness of C Pretty sure ATS doesn't by naasking	raould	2013-05-08 19:47
Forum topic	Nesting of quasi-quotation Closing the Stage by naasking	Jules Jacobs	2013-05-08 03:50
Story	Dependent Types for JavaScript In a parametric language, no by naasking He then said that he could by naasking It is my belief that type by naasking Type theory needs to be by naasking I can reason statically by naasking The canonical untyped by naasking There are fundamentally two by naasking	naasking	2013-04-18 10:44
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