recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Milner Symposium 2012 Fixed! by Ohad Kammar Panel link broken by Manuel J. Simoni what a trove by peteg	Ohad Kammar	2012-10-22 07:46
Story	Land of Lisp Other changes? by Brooks Moses 'Lazy' guild by dmbarbour What an awesome comic! by loumarco But the promo video is by stefan Yeah by dmbarbour It's posted online as a sample chapter. by Brooks Moses * Alas, the graph is not a dodecahedron any more by johnwcowan Grand Theft Wumpus by dmbarbour	Ohad Kammar	2010-10-30 20:17
Story	A Semantic Model for Graphical User Interfaces First link broken by Z-Bo Also, our implementation by neelk I made a series of blog by neelk I'd really like to see this by djahandarie Gossip by Ohad Kammar	Ohad Kammar	2011-09-12 15:14
Forum topic	Fixed-Point Induction I was aiming for fixed-point induction... by Ohad Kammar a sketch = by Albert Y.C. Lai	Ohad Kammar	2006-09-16 16:38
Story	Seemingly impossible programs Actor Model Semantics by Hewitt Libel by Hewitt You can do a lot with by Sean McDirmid where's the libel? by dmbarbour On exactly which page of by dmbarbour Libels probably won't limit the future of Actors by Hewitt Proving theorems is a difficult and rigorous business by Hewitt Most ideas have one person by John Shutt Unicode is the future of programming languages by Hewitt Problem with form by gasche ...	Ohad Kammar	2015-04-18 02:15
Story	Coq will be renamed Needs doing by davidb Very cool, by the way. by Thomas Lord	Ohad Kammar	2021-05-10 14:44
Forum topic	Of Course ML Has Monads! Interesting question by Mike Hicks Lightweight ML monads clarifications by Mike Hicks Can the same be done for comonads? by Jules Jacobs Two questions by gasche ML has monads implicitly by Mike Hicks ST monad is a type system: safe but limited by gasche "Benign Effects" by peteg ok by raould hear hear, and how by dmbarbour as a perpetually slow learner by raould ...	Ohad Kammar	2011-07-14 14:24
Story	Simon Peyton Jones elected into the Royal Society Fellowship Well deserved by Matt M Congratulations by Jules Jacobs Very happy about this, for by Ehud Lamm Cheers to Satnam Singh... by Ohad Kammar	Ohad Kammar	2016-05-01 16:27
Forum topic	Semantics: Logic vs. PL Calculus in Coinductive Form by Hank Thediek Historical/Conceptual perspective by Ehud Lamm Difference by Charles Stewart Two T's by Charles Stewart Second try by Charles Stewart Hiding Parts of the How by Ohad Kammar Some transition systems are more equal than others by Charles Stewart Step Size by Ohad Kammar The algebraic nature of by Ohad Kammar Algebraic nature of proof theory by Charles Stewart ...	Ohad Kammar	2009-06-27 14:17
Story	Dependently-Typed Metaprogramming (in Agda) Friday afternoon! by johnwcowan Great set of notes by Matt M Oh right by Matt M C-style indexing by Jeremy Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
first page previous page next page last page