Lambda the Ultimate

type	title	author	last post
Forum topic	Sectioning a chain of operators and dot as reverse application I've seen several languages by naasking	Matt M	2014-05-12 18:17
Forum topic	Value-level programming It'll break compositionality by naasking In a static type system by naasking	Vladimir Slepnev	2014-05-08 19:51
Forum topic	The Avail programming language Introspection sort, by naasking They certainly have an by naasking Only two mentions of by naasking	Robbert van Dalen	2014-05-05 13:23
Forum topic	Giant list of visual PLs I think visual programming by naasking	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Inquiry into the nature of software complexity. I'm responding to the topic by naasking There's two margins to by naasking For another, those companies by naasking The market is flooded with by naasking If you get one that wants to by naasking	bryanedds	2014-04-24 20:30
Story	Deca, an LtU-friendly bare metal systems programming language So: how do we specify, in a by naasking Because that would give a by naasking I can guarantee by naasking I want to eliminate a by naasking As to assigning fixed by naasking The point is to eliminate by naasking It's probably not really by naasking adding a language construct by naasking Of critical interest by naasking	Anton van Straaten	2014-04-23 16:10
Story	.NET Compiler Platform ("Roslyn") But in order to do that, we by naasking Guess there are good reasons by naasking If FP has so many natural by naasking	Ehud Lamm	2014-04-22 23:53
Story	Study finds that when no financial interests are involved programmers choose DECENT languages Here's 't Hooft's latest by naasking Computational complexity is by naasking It may be that if instead of by naasking the thought that immediately by naasking You're apparently taking the by naasking False. The concept of an by naasking There's no reason to suppose by naasking We suppose it's possible for by naasking This (so I figured) is a by naasking	Ehud Lamm	2014-04-15 05:59
Story	What Are The Resolved Debates in General Purpose Language Design? If we're interested in by naasking If the parsing library is by naasking Dynamic compilation exceeds by naasking Well, a new language which by naasking Arc is a new language that by naasking Yes, they are still a bit by naasking Seems a bit silly, given by naasking All new languages I've come by naasking First-class by naasking	James Iry	2014-03-31 20:55
Forum topic	The Evolution of CS Papers I find that hypothesis by naasking	Sean McDirmid	2014-03-11 14:09
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
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