Lambda the Ultimate

type	title	author	last post
Story	Coq will be renamed	Ohad Kammar	2021-05-10 14:44
Forum topic	Idris2 is self-hosting	Ohad Kammar	2020-06-10 06:49
Story	sml-family.org	Ohad Kammar	2019-02-16 10:55
Story	Simon Peyton Jones elected into the Royal Society Fellowship Cheers to Satnam Singh... by Ohad Kammar	Ohad Kammar	2016-05-01 16:27
Story	Xavier Leroy will receive the Royal Society's 2016 Milner Award That's two Royal institutes.. by Ohad Kammar	Ohad Kammar	2015-09-18 16:15
Story	Cakes, Custard, and Category Theory	Ohad Kammar	2015-07-17 16:47
Story	Don Syme receives a medal for F#	Ohad Kammar	2015-07-06 18:06
Story	Seemingly impossible programs Paper writing algorithm by Ohad Kammar	Ohad Kammar	2015-04-18 02:15
Story	Exceptional syntax What am I missing? by Ohad Kammar	Chung-chieh Shan	2014-11-04 18:51
Story	Conservation laws for free! Atkey et al. by Ohad Kammar	Ohad Kammar	2014-10-29 16:28
Forum topic	A question of separation logic and monads Simple monads capture simple effects by Ohad Kammar	Eric Biederman	2014-10-06 04:44
Story	Inferring algebraic effects Headsup: Efficient handler compilation by Ohad Kammar	Ohad Kammar	2014-10-04 17:39
Story	Luca Cardelli Festschrift	Ohad Kammar	2014-09-17 14:34
Story	Gilad Is Right But isn't that supposed to happen? by Ohad Kammar	Erik Meijer	2014-03-23 13:38
Story	Dependently-Typed Metaprogramming (in Agda)	Ohad Kammar	2013-08-30 16:24
Story	the gnu extension language CBPV by Ohad Kammar	Manuel J. Simoni	2013-06-28 14:23
Story	Milner Symposium 2012 Fixed! by Ohad Kammar	Ohad Kammar	2012-10-22 07:46
Story	Koka a function oriented language with effect inference inferring divergence effects by Ohad Kammar	Daniel Yokomizo	2012-08-16 14:01
Story	What does focusing tell us about language design? I don't understand. by Ohad Kammar Evaluation order and CBPV by Ohad Kammar Misnomer? by Ohad Kammar	Manuel J. Simoni	2012-03-07 19:07
Story	A Semantic Model for Graphical User Interfaces Gossip by Ohad Kammar	Ohad Kammar	2011-09-12 15:14
Story	Lightweight Monadic Programming in ML Monads and Lawvere Theories by Ohad Kammar Eff by Ohad Kammar Reminds me of Eff by Ohad Kammar The opposite question by Ohad Kammar Deriving morphisms by Ohad Kammar This is just the CBV translation into the Monadic Metalanguage by Ohad Kammar A bit confused... by Ohad Kammar	Paul Snively	2011-08-10 20:39
Story	Levy: a Toy Call-by-Push-Value Language Interesting... by Ohad Kammar	Ohad Kammar	2011-07-28 18:12
Forum topic	Of Course ML Has Monads!	Ohad Kammar	2011-07-14 14:24
Forum topic	Monads vs. Actors Thanks for the reference! by Ohad Kammar Denotational Semantics for DSLs by Ohad Kammar	Sean McDirmid	2011-03-02 21:15
Story	Tropical Semirings Rig Conservativity by Ohad Kammar	neelk	2010-12-10 15:56
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