02549nam a22005177a 4500
sulb-eb0025461
BD-SySUS
20160413122527.0
cr nn 008mamaa
130806s2013 gw | s |||| 0|eng d
9783642404474
978-3-642-40447-4
10.1007/978-3-642-40447-4
doi
QA76.6-76.66
UM
bicssc
COM051000
bisacsh
005.11
23
Trends in Functional Programming
[electronic resource] :
13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
edited by Hans-Wolfgang Loidl, Ricardo Peña.
Berlin, Heidelberg :
Springer Berlin Heidelberg :
Imprint: Springer,
2013.
X, 311 p. 110 illus.
online resource.
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture Notes in Computer Science,
0302-9743 ;
7829
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.
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.
Computer science.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Loidl, Hans-Wolfgang.
editor.
Peña, Ricardo.
editor.
SpringerLink (Online service)
Springer eBooks
Printed edition:
9783642404467
Lecture Notes in Computer Science,
0302-9743 ;
7829
http://dx.doi.org/10.1007/978-3-642-40447-4
ZDB-2-SCS
ZDB-2-LNC
Dewey Decimal Classification
eBooks
47553
47553