Lambda the Ultimate

type	title	author	last post
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	the gnu extension language CBPV by Ohad Kammar	Manuel J. Simoni	2011-09-14 22:16
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
Story	Land of Lisp	Ohad Kammar	2010-10-30 20:17
Forum topic	Perlis Languages Assertion Macros by Ohad Kammar What about TeX? by Ohad Kammar	Robb Nebbe	2010-10-14 16:16
Story	Eff - Language of the Future Incomplete Picture by Ohad Kammar	Matt Hellige	2010-10-03 21:03
Story	Monads in Action Expressible Monads by Ohad Kammar	neelk	2010-08-04 06:45
Forum topic	A simple class of Kripke-style models in which logic and computation have equal standing Curry-Howard Correspondence by Ohad Kammar	dpmulligan	2010-07-24 15:34
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools TeX Replacement by Ohad Kammar	Manuel J. Simoni	2010-07-23 23:54
Story	Handlers of Algebraic Effects Two answers by Ohad Kammar	Ohad Kammar	2010-07-07 08:17
Forum topic	Denotational semantics with other notions of convergence What's your intuition for convergence? by Ohad Kammar	Neil Toronto	2010-07-04 10:11
Story	The Galois connection between syntax and semantics Coalgebra and Synthetic theories seem to fit the bill by Ohad Kammar Thanks! by Ohad Kammar	Ehud Lamm	2010-06-19 01:47
Forum topic	Late Robin Milner	Ohad Kammar	2010-04-14 17:43
Forum topic	Curry Howard and more powerful type systems Answering the first question by Ohad Kammar	Brandon Niemczyk	2010-03-24 19:06
Forum topic	Effectful Code Transformations Apologies by Ohad Kammar Mind the Gap? by Ohad Kammar	Ohad Kammar	2010-03-23 05:25
Forum topic	Do you know of any good summer schools on types/programming languages for 2010? MGS by Ohad Kammar	iainmcgin	2010-02-22 15:23
Forum topic	Effect Systems? Monads and Effects (Benton, Hughes, Moggi) by Ohad Kammar	jesuswaffle	2009-10-10 01:11
Story	Exceptional syntax What am I missing? by Ohad Kammar	Chung-chieh Shan	2009-09-04 01:37
Forum topic	functions vs procedures.. Timeline by Ohad Kammar Dynamic, not semantic by Ohad Kammar Perhaps by Ohad Kammar Ada by Ohad Kammar	ceti331	2009-08-20 18:05
Forum topic	limit and colimit Yes by Ohad Kammar	Chad950	2009-08-19 22:05
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