recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Effectful Code Transformations Analysis is Insufficient by dmbarbour Apologies by Ohad Kammar Hardly a comprehensive list by dmbarbour Mind the Gap? by Ohad Kammar Code Transformations for Effectful Code by dmbarbour	Ohad Kammar	2010-03-23 05:25
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
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	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
Story	Luca Cardelli Festschrift Conway's Law by dmbarbour Is there a deep reason why by Ehud Lamm Mobile Ambients by dmbarbour Festschrift by Matt M	Ohad Kammar	2014-09-17 14:34
Story	Conservation laws for free! mea culpa by Dave Atkey et al. by Ohad Kammar tiger, tiger, for-all bright... by Dave translation? by raould cool by Dave	Ohad Kammar	2014-10-29 16:28
Forum topic	DSLs and AOP Yes, but only in Korea by Dave Lopez just joking about the age thing by Olaf Conijn 14 year olds use Haskell, DSLs are neat. by shapr Haskell by Sjoerd Visscher	Olaf Conijn	2006-08-15 21:43
Forum topic	...PHP language research Project page by L Spice _ by oldaccount try googling for by raould	oldaccount	2011-08-31 18:33
Forum topic	Metaprogramming and Free Availability of Sources JavaScript metaprogramming at run-time by oldaccount For C++ use Felix by skaller Do preprocessors count? by Josh Scholar	oldaccount	2016-06-01 20:52
Forum topic	FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice Call for participation and posters by Oleg Second CFP: invited talks by Oleg	Oleg	2016-01-14 13:01
first page previous page next page last page