Willkommen, schön sind Sie da!
Logo Ex Libris

Trends in Functional Programming

  • Kartonierter Einband
  • 324 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional ... Weiterlesen
CHF 77.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.

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

Produktinformationen

Titel: Trends in Functional Programming
Untertitel: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
Editor:
EAN: 9783642404467
ISBN: 3642404464
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 324
Gewicht: 493g
Größe: H235mm x B155mm x T17mm
Jahr: 2013
Auflage: 2013

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"