عنوان
پدید آورنده
موضوع
رده
QA76.62
QA76
.
62
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
303014805X
(Number (ISBN
9783030148058
Erroneous ISBN
9783030148041
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Trends in functional programming :
General Material Designation
[Book]
Other Title Information
17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers /
First Statement of Responsibility
David Van Horn, John Hughes (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (ix, 193 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
10447
GENERAL NOTES
Text of Note
Includes author index.
CONTENTS NOTE
Text of Note
Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
PARALLEL TITLE PROPER
Parallel Title
TFP 2016
TOPICAL NAME USED AS SUBJECT
Data structures (Computer science), Congresses.
Functional programming (Computer science), Congresses.
Logic design-- Computer programs, Congresses.
Data structures (Computer science)
Functional programming (Computer science)
Logic design-- Computer programs.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
62
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Hughes, John,1958-
Van Horn, David
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Symposium on Trends in Functional Programming(17th :2016 :, College Park, Md.)
ORIGINATING SOURCE
Date of Transaction
20200823084007.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
