Trends in Functional Programming
13th International Symposium, TFP 2012, St Andrews, UK, June 12-14,2012, Revised
Wolfgang Loidl, Hans / Peña, /
Erschienen am
01.08.2013
Beschreibung
InhaltsangabeVarious aspects of trends in functional programming.- Combining deep and shallow embedding for EDSL.- The Blame theorem for a linear lambda calculus with type dynamic.- Higher-order size checking without subtyping.
Autorenportrait
Inhaltsangabevarious aspects of trends in functional programming