recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Type Systems as Macros SEQUEL by Mark Tarver LF by rwh The proof of the soundness by Mark Tarver Type soundness proof by Charles Stewart was SEQUEL new? by Mark Tarver Turnstile and Shen by Mark Tarver was SEQUEL new? by Blaisorblade Hackett (mini-Haskell over Racket) uses this work by gasche more than matching by stchang Equivalence? by Keean Schupke ...	naasking	2017-06-25 11:19
Forum topic	How to name the inverse functions of constructors Invertible = injective + surjective by L Spice Extractor by Burak Emir Inverses? by skaller - by marco Deconstructor was a common name at my college by marco It depends on how you define by hbrandl Injective ⊊ Invertible by L Spice make and break by Alan Crowe This is really a great hint. by hbrandl Thanks for the details.In by hbrandl ...	hbrandl	2017-07-03 00:16
Forum topic	Please submit to LIVE! 2017 (SPLASH Vancouver)	Sean McDirmid	2017-07-03 18:38
Forum topic	Is Datalog negation(¬) similar to the built-in predicate (≠)? There's a short reference by marco I don't understand how your by Milton Silva beware quantifiers by AntC Wild guess by marco	Milton Silva	2017-07-05 12:01
Story	Undefined Behavior in 2017	bashyal	2017-07-07 17:02
Forum topic	Affine Types - Introductory reading Once usage by skaller I've never looked into it, by adrieng The fact that the by neelk I see that Ehrhard mentions by adrieng Categorical nonsense, indeed by marco Proofs as linear morphisms by L Spice Link to the referenced paper by L Spice Accidental isomorphisms? by L Spice Nonsense by gasche Well look at that! by marco ...	filipallberg	2017-07-10 02:17
Story	RustBelt: Securing the Foundations of the Rust Programming Language	naasking	2017-07-10 15:17
Story	p5.js	Ehud Lamm	2017-07-11 19:18
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Applying patterns anyway by Ross Angle Principal Software Engineering by skaller Hehe, we disagree on principle by marco I generally see the adoption by naasking We don't even know what OO is... by marco Nearly anything can be made by naasking Because it works^tm? by marco Hide, encapsulate, the by naasking FP vs HPC by Victor Eijkhout sarcasm and ball-of-mud-ness by John Shutt ...	Ehud Lamm	2017-07-12 11:44
Forum topic	/join the #proglangdesign channel on Freenode	Dustin DeWeese	2017-07-12 17:40
first page previous page next page last page