Lambda the Ultimate

type	title	author	last post
Forum topic	Use Cases for Shared-Memory Concurrency? Observable freezing is hard by Eduardo León	shap	2020-09-18 21:51
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Thanks! F* looks by Eduardo León I do not mind manually by Eduardo León	Eduardo León	2020-08-30 14:57
Story	The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy It is elegant, but is it useful? by Eduardo León Tensors and typing by Eduardo León	Manuel J. Simoni	2020-08-25 22:44
Forum topic	When are Actors appropriate? My bad by Eduardo León That's right, but... by Eduardo León Mathematical objects as data structures defined where? by Eduardo León	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Intuitionistic entailment is explosive by Eduardo León Inconsistency-robust logic by Eduardo León	Hewitt	2015-07-21 06:16

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation