Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / Viktória Zsók, John Hughes (eds.).
2021
QA76.62 .I58 2021
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / Viktória Zsók, John Hughes (eds.).
ISBN
9783030839789 (electronic bk.)
3030839788 (electronic bk.)
9783030839772
303083977X
3030839788 (electronic bk.)
9783030839772
303083977X
Published
Cham : Springer, [2021]
Copyright
©2021
Language
English
Description
1 online resource : illustrations (some color)
Item Number
10.1007/978-3-030-83978-9 doi
Call Number
QA76.62 .I58 2021
Dewey Decimal Classification
005.1/1
Summary
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2021. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 26, 2021).
Added Author
Series
Lecture notes in computer science ; 12834.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in
Table of Contents
Nested parallelism, semantics, task-oriented programming
Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties
A Generic Back-End for Exploratory Programming
Dynamic Editors for Well-Typed Expressions
Modelling, translating, proving functional programs
High-Level Modelling for Typed Functional Programming
Translating Lambda Calculus into C++ Templates
ProofViz: An Interactive Visual Proof Explorer.
Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties
A Generic Back-End for Exploratory Programming
Dynamic Editors for Well-Typed Expressions
Modelling, translating, proving functional programs
High-Level Modelling for Typed Functional Programming
Translating Lambda Calculus into C++ Templates
ProofViz: An Interactive Visual Proof Explorer.