Lambda the Ultimate

type	title	author	last post
Forum topic	Ann: The Logic Lab	Mark Tarver	2023-04-17 12:14
Story	Platonic C# - Managing Referential Transparency through Unique Types So in the proposed by cdiggins Great point. by cdiggins Commands, Queries, and Responsibilities by mlhaufe Thanks by cdiggins Capabilities for Uniqueness and Borrowing by mlhaufe Any other similar approaches? by cdiggins	cdiggins	2023-04-05 14:26
Forum topic	Type and Effects systems and Lucassen's Thesis PDF scan available by pnkfelix thanks by Andrei Formiga Try this: by moskvax	Andrei Formiga	2023-03-16 03:22
Forum topic	LinearLisp: a proof of concept in full linearization for AST-walking interpreters Hmmm... by Cyril FTR - the vernaculars under test by Cyril Quick update. by Cyril So anyway, for the record by Cyril Well, my bad. by Cyril [Deleted] Double posted. by cdiggins Okay, I think I get it by cdiggins Clearly, though by Cyril Sure, in a nutshell... by Cyril What is "full linearization for AST-Walking interpreters" by cdiggins ...	Cyril	2023-03-10 07:59
Story	Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes Great slides. by Cyril	Charles Stewart	2023-03-08 05:47
Forum topic	Advantages of pointfree? ltu or the other side of dualism by Stefan Cygon [deleted] by Stefan Cygon re currying and parameter objects by dmbarbour Pointfree modified with some operator precedence by Ray Dillinger (Dis-)Advantages of Variables: The Agony of Choice in Pointfree by Stefan Cygon Heavily Labeled Point-free Programming by dmbarbour it sounds strange by Stefan Cygon A point-free self-hosting Haskell compiler by Z-Bo My point of view by Stefan Cygon the use of free variables and the Leibniz principle by Stefan Cygon ...	John Nowak	2023-02-19 16:24
Forum topic	Denominated Values - Part numeric and symbolic. (deleted) by Julian Rohrhuber Dimensional Analysis by Julian Rohrhuber Ratios? No. by Ray Dillinger Units by shap Joules vs. newton-meters, length vs. width vs. height by John Cowan	Ray Dillinger	2023-01-31 22:12
Forum topic	What is a type? What's a type, take #2 by cpurdy Not quite the same as axiomatic ADT by Bakul Shah Code Contracts by Z-Bo Definition of the term "behavior" by cpurdy The program you describe can by dmbarbour Computability and halting by dmbarbour re It is also true that (naasking) by Thomas Lord re: A TM is a model of computation that ... by Thomas Lord re: Infinite vs. unbounded by Thomas Lord Did misread you, Ray - sorry by Thomas Lord ...	cpurdy	2023-01-25 22:53
Forum topic	Basic building blocks of a programming language Why category theory by Mats Give it a few days... by Ray Dillinger <Removed> by Mats Category theory to the rescue? by Mats	Mats	2023-01-22 11:40
Forum topic	JIT: it's complimicated	raould	2022-12-16 01:07
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