Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
by
Chang, Stephen. editor.
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
:
Chang, Stephen.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 520974-1001 | ONLINE | | Elektronik Kütüphane |