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
Online Access
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
Zsók, Viktória, editor.
Hughes, John, editor.
Hughes, John, editor.
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
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
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.