Lambda the Ultimate

type	title	author	last post
Forum topic	Paged topics ?comments_per_page=600 by dmbarbour	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? questionable generalizations by dmbarbour universal languages and system architecture by dmbarbour Similarities by dmbarbour avoiding coupling by dmbarbour not emacs by dmbarbour portable languages by dmbarbour channels for tools by dmbarbour not a file, unless you stretch the term by dmbarbour Unproblems by dmbarbour proving stuff by dmbarbour ...	Sean McDirmid	2014-12-06 15:20
Forum topic	Looking for a good online forum on compiler design and implementation I've read of some time by dmbarbour Record and replay doesn't mean reversible by dmbarbour Illusions or History by dmbarbour Logging is not record and by dmbarbour In practice there is no by dmbarbour MSVC++, for one. Though by dmbarbour Code maps & runtime code modification by dmbarbour Applicative by dmbarbour Sometimes LL(k) for k>1 by dmbarbour You should run some by dmbarbour ...	Talin	2014-12-03 22:33
Forum topic	Code Completion for Generic Programming claims of productivity by dmbarbour	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Maintenance experiments by dmbarbour	Ray Dillinger	2014-11-18 03:22
Forum topic	Opposing Hierarchies of Complexity profundity metrics by dmbarbour linearity by dmbarbour Durnken Logic by dmbarbour	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Time travelling debuggers by dmbarbour Poor integration of by dmbarbour ignoring exceptions by dmbarbour the partial failure problem by dmbarbour This syntax for exceptions by dmbarbour	Chung-chieh Shan	2014-11-04 18:51
Story	Inside the Wolfram Language I really like the easy by dmbarbour	bashyal	2014-11-04 07:29
Forum topic	Programming with Managed Time re: real time and live coding by dmbarbour longer timelines by dmbarbour Nice format and examples by dmbarbour not idempotent by dmbarbour Thanks for sharing. Keep up by dmbarbour	Sean McDirmid	2014-10-23 00:47
Forum topic	Jonathan Blow's next foray into game language design ATS by dmbarbour Precise GC by dmbarbour annotations by dmbarbour 3x with paging by dmbarbour 3x memory? by dmbarbour game engine developers by dmbarbour Game developers have by dmbarbour	jdougan	2014-10-21 20:35
Forum topic	Eve development diary Constraint solvers by dmbarbour	jamii	2014-10-20 20:29
Story	LtU's new server Thanks by dmbarbour UTF-8 failures by dmbarbour	Anton van Straaten	2014-10-20 16:51
Forum topic	automatic test discovery without reflection? Naming conventions by dmbarbour	Talin	2014-10-16 17:34
Forum topic	On constness Modeling mutation by dmbarbour	Talin	2014-10-13 20:58
Forum topic	A question of separation logic and monads algebraic effects by dmbarbour	Eric Biederman	2014-10-06 04:44
Forum topic	Experiment Assuming sufficient memory by dmbarbour back to the start by dmbarbour reasoning about memory usage by dmbarbour out-of-memory is a by dmbarbour Turing introduced memory to by dmbarbour A C/C++ programmer is paid by dmbarbour misapplied intuitions; needs vs. wants by dmbarbour not ignoring bias by dmbarbour the part that fits the person by dmbarbour Tarjan's union-find is O(m * by dmbarbour ...	Ehud Lamm	2014-10-01 17:10
Forum topic	Controlling time and space ad-hoc application of SAC by dmbarbour SAC by dmbarbour Yes by dmbarbour awkward signals model by dmbarbour	Sean McDirmid	2014-09-28 23:48
Forum topic	A StackExchange Site for Programming Language Theory The StackExchange proposal by dmbarbour Commitment Phase by dmbarbour if the number of parts by dmbarbour finding abstractions by dmbarbour advocacy by dmbarbour	aaditmshah	2014-09-27 15:30
Forum topic	Re-thinking Prolog search strategies by dmbarbour	Alex1	2014-09-24 11:21
Forum topic	Automatically Deriving Mutable Data Structures? Look into optimizations by dmbarbour	naasking	2014-09-22 14:11
Forum topic	Optimisation by repeated beta- and eta-reduction A few examples of sub-TM by dmbarbour	L Spice	2014-09-22 01:00
Forum topic	Who Needs Garbage Collection? references by dmbarbour logical and physical partitions by dmbarbour Syntax isn't just stylistic by dmbarbour organic types by dmbarbour Z combinator by dmbarbour recursion with names by dmbarbour re: recursion by dmbarbour sharing by dmbarbour If you propose a functional by dmbarbour	Keean Schupke	2014-09-20 06:41
Story	What's in store for the most widely used language by discerning hackers? a different goal such as to by dmbarbour	Ehud Lamm	2014-09-18 04:37
Story	Luca Cardelli Festschrift Conway's Law by dmbarbour Mobile Ambients by dmbarbour	Ohad Kammar	2014-09-17 14:34
Forum topic	Seeking artricle on syntax sugar and comparing programming languages cognitive dimensions by dmbarbour	const	2014-09-16 17:39
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