Title:
Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Author:
Chang, Stephen. editor.
ISBN:
9783031389382
Edition:
1st ed. 2023.
Physical Description:
IX, 107 p. 500 illus., 23 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13868
Contents:
Impredicative Encodings of Inductive-Inductive Data in Cedille -- Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture -- Faster, Simpler Red-Black Trees -- MatchMaker: A DSL for Game-Theoretic Matching -- Nearly Macro-free microKanren -- Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs. .
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-38938-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520974-1001 | XX(520974.1) | Searching... | Searching... |