Trends in Functional Programming: 13th International Symposium, Tfp 2012, St Andrews, Uk, June 12-14, 2012, Revised Selected Papers

By Hans Wolfgang Loidl

Various 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.

• Format: Paperback
• Language: English
• ISBN: 3642404464
• ISBN13: 9783642404467
• Release Date: August 2013
• Publisher: Springer
• Length: 311 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"