Lambda the Ultimate

type	title	author	last post
Forum topic	Resilient Languages I think this counterexample by naasking If you want to say that PLT by naasking It has repeatedly by naasking I did note in a quick check by naasking (a) emphasize stupid-simple by naasking I hope it is clear that I by naasking Socially disastrous bugs by naasking The GnuTLS demonstrates yet by naasking I think what you've said by naasking I don't think there is a by naasking ...	spdegabrielle	2014-03-11 00:57
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading My recent approaches have by naasking	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium since we don't need a lot of by naasking	Luke Gorrie	2014-03-04 20:32
Forum topic	Disallow shadowing? However, for dataflow to by naasking Also probably relevant, by naasking	Y	2014-02-25 02:06
Forum topic	Parallelism and Concurrency in the Actor Model Because the known laws of by naasking Indeterminacy is fundamental by naasking	Hewitt	2014-02-21 05:06
Forum topic	Booleans vs strings I ended up favoring sum by naasking	jamii	2014-02-15 22:49
Forum topic	Limitations of Prolog-style clausal programs It is quite notable that we by naasking	Hewitt	2014-02-11 10:53
Forum topic	Examples for benefitfs of dynamic programming languages Termination is interesting by naasking Reflective towers is an open by naasking	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Doesn't it? I think Unity's by naasking void-as-a-1st-class-type, by naasking	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. Ada is up there in language by naasking Dispatch can also happen at by naasking Text box vs. slider based on by naasking Too true. No doubt the use by naasking There are other forms of by naasking Reflective towers? by naasking Very true, and the extra by naasking but when you brought by naasking By "generality", I'm by naasking Clearly many other things by naasking ...	Rys McCusker	2014-01-19 13:05
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
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