Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
tarafından
Chang, Stephen. editor.
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
:
Chang, Stephen.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 520974-1001 | ONLINE | | Elektronik Kütüphane |