recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	RustBelt: Securing the Foundations of the Rust Programming Language	naasking	2017-07-10 15:17
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	Undefined Behavior in 2017	bashyal	2017-07-07 17:02
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
Forum topic	Please submit to LIVE! 2017 (SPLASH Vancouver)	Sean McDirmid	2017-07-03 18:38
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
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	C runtime type info gimmick which supports scripting behavior by Rys McCusker	Rys McCusker	2017-06-23 23:08
Story	Co-hygiene and quantum gravity	Manuel J. Simoni	2017-06-17 16:22
Forum topic	Restructor: Full Program Automatic Refactoring Amusing by gasche "Copy and Paste Redeemed" by Blaisorblade Loop refactoring.. by Wouter normal forms by dmbarbour loops by Anders Horn I haven't proven I reach "normal form" by Wouter No normal form by Keean Schupke Suggesting abstractions by dmbarbour	Wouter	2017-06-16 21:17
first page previous page next page last page