
Başlık:
Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Yazar:
Chang, Stephen. editor.
ISBN:
9783031389382
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
IX, 107 p. 500 illus., 23 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 13868
İçerik:
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. .
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-38938-2Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 520974-1001 | ONLINE | Arıyor... | Arıyor... |