recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Joe Armstrong Interviews Alan Kay	Ehud Lamm	2016-11-25 18:23
Forum topic	On the (Alleged) Value of Proof for Assurance some came true by NickP more on Sturgeon's revelation by el-vadimo Sturgeon's law is about bad execution, not bad conception by johnwcowan There is beauty in every by jemfinch What I fail to realize :) by Z-Bo Not even wrong? by John Shutt Sturgeon vs. Pedersen by el-vadimo What's Bad In My Books by Z-Bo Re SGLR applied to lexer by barrkel Funhouse Mirrors by dmbarbour ...	shap	2016-11-24 01:04
Forum topic	Resources for implementing higher-kinded types? Yep by neelk Thanks! by Jon Purdy See Mark Jones FPCA 1993 paper by neelk	Jon Purdy	2016-11-11 10:40
Story	Proving Programs Correct Using Plain Old Java Types Paper is based on Java 6 by asajeffrey Not Surprising by Keean Schupke	naasking	2016-11-11 00:28
Forum topic	Seeking contributors to psyche-c	pronesto	2016-11-07 23:52
Forum topic	How is structural typing checked? Ah, ok so instead I must by mamcx Implementation by Keean Schupke re: carry all the type def by dmbarbour But that is not carry all by mamcx I'm after the OCalm model. by mamcx Wild Guess by marco More specific? by adrieng What's difficult? by dmbarbour	mamcx	2016-10-26 16:44
Forum topic	Implicit conversion (subtyping) vs Explicit conversion Extensional rules cannot be unsound by Keean Schupke Commutativity by skaller Recursive and Generative, Soundness and Completeness by Keean Schupke intensionally extensional by skaller Implicit defined inside the type system by Keean Schupke Examples of poor choices by skaller General Principle by skaller Not subtyping by Keean Schupke I see no reason not to by naasking This is the set situation in by Ivan V. ...	Keean Schupke	2016-10-23 06:46
Forum topic	Interesting use cases for universal quantifiers in rank 2?	Alex Shpilkin	2016-10-23 00:29
Forum topic	Parsing with derivatives - Elegant matching of regular languages in clojure	yehonathan sharvit	2016-10-08 16:52
Forum topic	Bottom Types We can try with by Ivan V. Ok, because I don't know by mamcx Subsumption by quantification by Keean Schupke NOT boolean-nil by Ivan V. Sum type by Ivan V. type of nil by dmbarbour justified examples of using nil by simon.stapleton Re: In your logic by Ivan V. In your logic, E \ E is the by simon.stapleton Relative complement by Ivan V. ...	Keean Schupke	2016-10-07 22:33
first page previous page next page last page