Lambda the Ultimate

type	title	author	last post
Forum topic	Affine Types - Introductory reading Proofs as linear morphisms by L Spice Link to the referenced paper by L Spice Accidental isomorphisms? by L Spice Why linear = linear? by L Spice Slides and notes available? by L Spice	filipallberg	2017-07-10 02:17
Forum topic	How to name the inverse functions of constructors Invertible = injective + surjective by L Spice Injective ⊊ Invertible by L Spice	hbrandl	2017-07-03 00:16
Forum topic	The Two Dualities of Computation: Negative and Fractional Types 1/(1 - Nat) is still Nat, but surely 1/(1 - a) isn't a! by L Spice	Greg Buchholz	2017-04-26 16:36
Story	Second-order logic explained in plain English PhilPapers link by L Spice	Charles Stewart	2016-02-19 12:40
Forum topic	When are Actors appropriate? For what it's worth … by L Spice	raould	2015-07-21 16:25
Forum topic	Making implicits less powerful? Depends on the meaning of List<T> by L Spice	Vladimir Slepnev	2015-02-20 16:07
Forum topic	How can middle school algebra help with domain specific languages? Direct-sum monoid by L Spice	shahbaz	2015-01-21 17:18
Forum topic	Optimisation by repeated beta- and eta-reduction Not Turing complete by L Spice "Ah, but a man's reach …" by L Spice Non-Turing-complete IL by L Spice	L Spice	2014-09-22 01:00
Forum topic	POPL 2014 proceedings available freely for all Link? by L Spice	gasche	2014-02-08 00:34
Story	The Three Laws of Programming Language Design Algebra quibble by L Spice	bashyal	2013-07-04 14:32
Forum topic	Units and Numerical niceties. Taylor series by L Spice	Ray Dillinger	2013-01-31 16:27
Forum topic	Why prolog is by far the best, most productive, easiest programming language Pure Prolog? by L Spice	marshallp	2012-08-23 03:24
Forum topic	...PHP language research Project page by L Spice	oldaccount	2011-08-31 18:33
Forum topic	Literate Programming: Retrospect and Prospects I thought that … by L Spice Duly quibbled by L Spice Poor TeX! by L Spice	el-vadimo	2011-07-20 21:10
Forum topic	Iteration function in lambda calculus Functional equation by L Spice Fun vs fun by L Spice No fun by L Spice	kmisd	2011-05-06 10:32
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 … and a pony! by L Spice Numeric woes by L Spice	marco	2011-04-24 10:41
Forum topic	Modern Eiffel Missing (-) by L Spice	hbrandl	2011-03-27 18:56
Forum topic	Reference request: running out of countably many variable names Hilbert's hotel by L Spice	Neil Toronto	2011-03-22 10:17
Forum topic	Babel-17 v0.2 spec is out Tuples and rings by L Spice	Steven Obua	2010-12-11 00:22
Forum topic	J's concepts rank, composition, and GC FISh by L Spice	Thomas Lord	2010-09-18 03:47
Forum topic	Looking for a language like... Reply with 'reply'? by L Spice	Ed Earl Ross	2010-08-04 18:34
Story	State of the art C compiler optimization tricks Und dann ...? by L Spice	Leon P Smith	2010-07-10 20:34
Forum topic	Formal treatments (or examples of) of "function concatenation"? Mathematically invisible by L Spice	John Nowak	2010-04-05 01:32
Forum topic	Alternative method for defining statically typed variables Perl by L Spice	Josh-Meredith	2010-03-09 14:56
Story	Continuity Analysis of Programs It is the same as saying by L Spice Confusion of decidability with truth? by L Spice Computable numbers are not by L Spice Not the only complete ordered field by L Spice	neelk	2010-02-09 04:12
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