Lambda the Ultimate

type	title	author	last post
Forum topic	Different approaches to letting a programmer define interface implementations. Ur provides what you're looking for (for FP) by naasking Or typed, modular, multiple by naasking There is no right strategy by naasking I thought the whole point of by naasking Andreas and Jules have by naasking In short, the compile time by naasking Now implementations may by naasking This is all happening at by naasking Well they are concrete when by naasking A type must always be by naasking ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles I'm not sure that radians by naasking I think you misunderstood by naasking There is broad agreement by naasking	Douglas McClean	2014-01-14 17:44
Story	Pure Subtype Systems I think perhaps Sean is by naasking They likely have similar by naasking	naasking	2014-01-14 06:09
Story	Multiple Dispatch as Dispatch on Tuples	naasking	2014-01-09 20:41
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. I'm not the author, but I by naasking Well, you mentioned a by naasking custom input/output by naasking	bryanedds	2013-12-08 06:50
Forum topic	Why is Static Typing Hard? I think there are always by naasking Dynamic typing is incredibly by naasking If the language uses types by naasking Dynamic languages still have by naasking If the programmer really by naasking	Jon Purdy	2013-11-12 18:56
Story	The Genuine Sieve of Eratosthenes I would use mutable arrays by naasking (I consider Lisp and SML and by naasking Strictness is not exclusive by naasking It seems on-topic to me, by naasking	Ehud Lamm	2013-10-26 21:32
Forum topic	Usable Live Programming Unfortunately conflated with by naasking	Sean McDirmid	2013-10-20 06:05
Story	Taking Off the Gloves with Reference Counting Immix I skimmed Berger's by naasking I believe you could do this by naasking Right, because the data's by naasking You might find reaps of by naasking Regions only work with a by naasking Regions/arenas aren't very by naasking Specifically, if scope B is by naasking If you write a C extension by naasking	naasking	2013-10-18 02:42
Story	A Tail-Recursive Machine with Stack Inspection Updated link by naasking	Dave Herman	2013-10-01 15:34
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
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