Lambda the Ultimate

type	title	author	last post
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
Forum topic	Higher abstraction through NLP and automatic code derivation? Osmosian by dmbarbour	Peter Samarin	2014-09-12 18:20
Forum topic	Experiments in Code Typography It isn't clear to me what by dmbarbour globally unique names by dmbarbour	Sean McDirmid	2014-09-06 03:56
Forum topic	Program in a program partial evaluation, adaptive optimization, staged programming by dmbarbour link? by dmbarbour	Victor Eijkhout	2014-09-02 12:43
Forum topic	Typographic Programming Languages Semantic Highlighting by dmbarbour using small caps for by dmbarbour	Sean McDirmid	2014-08-28 12:39
Forum topic	Invitation for PolyConf conference polyconf link by dmbarbour	kasia	2014-08-27 13:00
Story	Cost semantics for functional languages Blelloch does discuss the by dmbarbour Seems a bit cherry-picked by dmbarbour Sorting algorithms are by dmbarbour	gasche	2014-08-21 22:00
Story	Apple Introduces Swift albatross shaped boat anchors by dmbarbour	bashyal	2014-08-21 17:54
Forum topic	out of memory what languages are such that by dmbarbour resilient software by dmbarbour yes we can by dmbarbour for a cache of reasonable (but unknown) size by dmbarbour easily decomposed by dmbarbour blame and partial failure by dmbarbour	Rys McCusker	2014-08-17 09:54
Story	Safely Composable Type-Specific Languages Embedded Literal Objects by dmbarbour	Allan McInnes	2014-08-13 18:09
Forum topic	Reactive Programming FRP for distributed by dmbarbour Formal Process Control by dmbarbour Signals, event streams, or by dmbarbour Disposable Signals by dmbarbour Ah. by dmbarbour Extra Error Channel by dmbarbour Ordered Choice, Finalization and Disposal by dmbarbour Disposed Signals, Last Value, Information Carrying Failures by dmbarbour Signal constructors by dmbarbour Recomputing by dmbarbour ...	J Storrs Hall	2014-08-06 03:32
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