Lambda the Ultimate

type	title	author	last post
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
Forum topic	GPU for GC many worse problems by dmbarbour Dividing the heap by dmbarbour	raould	2014-08-06 03:12
Story	seL4: Formal Verification of an Operating-System Kernel Dichotomy of Practice by dmbarbour Yeah, it's a false dichotomy by dmbarbour Ideally, specifications by dmbarbour Great Strides and Initial Specifications by dmbarbour Ignore client's spec and substitute your own by dmbarbour Reliability by dmbarbour Specification by dmbarbour Boolean Reliability? by dmbarbour Non-distinction by dmbarbour Formal Specs and Productivity by dmbarbour ...	James Iry	2014-07-29 07:19
Forum topic	Do Logic Languages Need Negation? Search by dmbarbour Datalog by dmbarbour	Keean Schupke	2014-07-22 17:47
Forum topic	What's in a name? using hashes as names by dmbarbour Again, you quote "fetch the by dmbarbour Evaluation is a by dmbarbour Homeopathic naming by dmbarbour A hash value is close in by dmbarbour Newell's definition of names by dmbarbour A hash can be used as a by dmbarbour a hash is never a name by dmbarbour Names aren't hashes. by dmbarbour	Sean McDirmid	2014-07-22 03:28
Forum topic	Slots as reifications of OOP method names in a normal language you by dmbarbour Keeping track of the stack by dmbarbour Stack based languages with by dmbarbour Autocomplete HCI by dmbarbour DCI by dmbarbour	Joaquín M López Muñoz	2014-07-21 21:44
Forum topic	request for namespace binding service terminology termination for mobile code by dmbarbour total functional denial of service by dmbarbour resource budget that can be by dmbarbour mobile code by dmbarbour Service Life Cycle, Typestate, AmOP, etc. by dmbarbour	Rys McCusker	2014-07-21 19:12
Forum topic	Parser error handling without exceptions Parser combinators by dmbarbour	andrewzboard	2014-07-21 02:49
Forum topic	Is Rx FRP? For graphics regardless of by dmbarbour Human language, thought, and by dmbarbour computer herbalism by dmbarbour OOP is misleading by dmbarbour 'Poetic' is not a property by dmbarbour avoiding is not 'abstracting over' by dmbarbour Kamp's theorem by dmbarbour what you refer to as event I by dmbarbour discrete state change by dmbarbour State change by dmbarbour ...	Sean McDirmid	2014-07-08 18:02
Forum topic	Ambiguous language namespaces de gustibus by dmbarbour Publicity gained from by dmbarbour maker movement by dmbarbour	Sean McDirmid	2014-07-04 03:31
Forum topic	Artificial Intelligence relational databases & logic programming by dmbarbour weighted solutions and composition by dmbarbour combinatorial explosion by dmbarbour protip: there is no AI by dmbarbour induction and deduction by dmbarbour	Ivan V.	2014-06-25 12: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