Posts By: Ohad Kammar
| Date | Post | Topic |
| 03/05/2012 | Misnomer? | What does focusing tell us about language design? |
| 03/06/2012 | Evaluation order and CBPV | What does focusing tell us about language design? |
| 03/06/2012 | I don't understand. | What does focusing tell us about language design? |
| 09/10/2011 | A Semantic Model for Graphical User Interfaces | A Semantic Model for Graphical User Interfaces |
| 09/10/2011 | Gossip | A Semantic Model for Graphical User Interfaces |
| 09/04/2011 | CBPV | the gnu extension language |
| 07/28/2011 | A bit confused... | Lightweight Monadic Programming in ML |
| 08/04/2011 | This is just the CBV translation into the Monadic Metalanguage | Lightweight Monadic Programming in ML |
| 08/04/2011 | Deriving morphisms | Lightweight Monadic Programming in ML |
| 08/04/2011 | The opposite question | Lightweight Monadic Programming in ML |
| 08/07/2011 | Reminds me of Eff | Lightweight Monadic Programming in ML |
| 08/08/2011 | Monads and Lawvere Theories | Lightweight Monadic Programming in ML |
| 08/08/2011 | Eff | Lightweight Monadic Programming in ML |
| 07/14/2011 | Levy: a Toy Call-by-Push-Value Language | Levy: a Toy Call-by-Push-Value Language |
| 07/28/2011 | Interesting... | Levy: a Toy Call-by-Push-Value Language |
| 07/03/2011 | Of Course ML Has Monads! | Of Course ML Has Monads! |
| 02/14/2011 | Denotational Semantics for DSLs | Monads vs. Actors |
| 02/22/2011 | Thanks for the reference! | Monads vs. Actors |
| 10/28/2010 | Land of Lisp | Land of Lisp |
| 10/03/2010 | Incomplete Picture | Eff - Language of the Future |
| 07/22/2010 | TeX Replacement | Scribble: Closing the Book on Ad Hoc Documentation Tools |
| 07/22/2010 | Curry-Howard Correspondence | A simple class of Kripke-style models in which logic and computation have equal standing |
| 07/04/2010 | Handlers of Algebraic Effects | Handlers of Algebraic Effects |
| 07/06/2010 | Two answers | Handlers of Algebraic Effects |
| 07/04/2010 | What's your intuition for convergence? | Denotational semantics with other notions of convergence |
| 06/07/2010 | Rig Conservativity | Tropical Semirings |
| 06/06/2010 | Thanks! | The Galois connection between syntax and semantics |
| 06/06/2010 | Coalgebra and Synthetic theories seem to fit the bill | The Galois connection between syntax and semantics |
| 03/23/2010 | Answering the first question | Curry Howard and more powerful type systems |
| 03/22/2010 | Effectful Code Transformations | Effectful Code Transformations |
| 03/22/2010 | Mind the Gap? | Effectful Code Transformations |
| 03/23/2010 | Apologies | Effectful Code Transformations |
| 03/22/2010 | Late Robin Milner | Late Robin Milner |
| 02/21/2010 | MGS | Do you know of any good summer schools on types/programming languages for 2010? |
| 02/04/2010 | Expressible Monads | Monads in Action |
| 08/19/2009 | Yes | limit and colimit |
| 08/17/2009 | Ada | functions vs procedures.. |
| 08/17/2009 | Perhaps | functions vs procedures.. |
| 08/19/2009 | Dynamic, not semantic | functions vs procedures.. |
| 08/20/2009 | Timeline | functions vs procedures.. |
| 08/06/2009 | Lucian: Dataflow and Object Orientation | Lucid, Gipsy paper |
| 06/18/2009 | What about TeX? | Perlis Languages |
| 06/18/2009 | Assertion Macros | Perlis Languages |
| 06/12/2009 | Minor correction | Preventing downcasting and adding a universal variant |
| 06/12/2009 | Semantics: Logic vs. PL | Semantics: Logic vs. PL |
| 06/12/2009 | Brevity is a virtue... | Semantics: Logic vs. PL |
| 06/12/2009 | Semantics: Logic vs. PL | Semantics: Logic vs. PL |
| 06/17/2009 | Is the question out of place then? | Semantics: Logic vs. PL |
| 06/18/2009 | The algebraic nature of | Semantics: Logic vs. PL |
| 06/17/2009 | Plotkin's Operational Semantics | Semantics: Logic vs. PL |
| 06/18/2009 | Step Size | Semantics: Logic vs. PL |
| 06/18/2009 | Hiding Parts of the How | Semantics: Logic vs. PL |
| 05/02/2008 | What is it you're asking, exactly? | Is Halting Problem Valid for P? |
| 04/27/2007 | Regarding Phil's Comment at the End | Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism |
| 09/14/2006 | Fixed-Point Induction | Fixed-Point Induction |
| 09/16/2006 | I was aiming for fixed-point induction... | Fixed-Point Induction |
| 02/19/2006 | But isn't that supposed to happen? | Gilad Is Right |
| 10/07/2009 | Monads and Effects (Benton, Hughes, Moggi) | Effect Systems? |
| 08/17/2009 | What am I missing? | Exceptional syntax |
| 05/12/2007 | Mathematicians and CT | Algebra Of Programming (Bird, De Moor) |
| 06/26/2004 | Elementary Category Theory | Elementary Category Theory |
| 06/26/2004 | UTI | Elementary Category Theory |
| 07/13/2004 | But what did equalizers add? | Elementary Category Theory |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |