|
|
|
|
| LEADER |
00000cam a22000007i 4500 |
| 001 |
on1395472622 |
| 003 |
OCoLC |
| 005 |
20240909213021.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
230829s2023 sz a o 101 0 eng d |
| 040 |
|
|
|a GW5XE
|b eng
|e rda
|e pn
|c GW5XE
|d EBLCP
|d OCLCO
|d WSU
|d OCLCO
|d UKAHL
|d OCLCF
|d OCLCO
|
| 020 |
|
|
|a 9783031389382
|q (electronic bk.)
|
| 020 |
|
|
|a 3031389387
|q (electronic bk.)
|
| 020 |
|
|
|z 9783031389375
|
| 024 |
7 |
|
|a 10.1007/978-3-031-38938-2
|2 doi
|
| 035 |
|
|
|a (OCoLC)1395472622
|
| 050 |
|
4 |
|a QA76.62
|b .I58 2023eb
|
| 072 |
|
7 |
|a UM
|2 bicssc
|
| 072 |
|
7 |
|a COM051000
|2 bisacsh
|
| 072 |
|
7 |
|a UM
|2 thema
|
| 049 |
|
|
|a HCDD
|
| 111 |
2 |
|
|a International Symposium on Trends in Functional Programming
|n (24th :
|d 2023 :
|c Boston, Mass.)
|
| 245 |
1 |
0 |
|a Trends in functional programming :
|b 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised selected papers /
|c Stephen Chang, editor.
|
| 246 |
3 |
|
|a TFP 2023
|
| 264 |
|
1 |
|a Cham, Switzerland :
|b Springer,
|c 2023.
|
| 300 |
|
|
|a 1 online resource (ix, 107 pages) :
|b illustrations (some color).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 1611-3349 ;
|v 13868
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wide variety of topics including DSL design and implementation, dependent type systems, instruction set architecture, data structures, and logic programming.
|
| 500 |
|
|
|a Includes author index.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed August 29, 2023).
|
| 650 |
|
0 |
|a Functional programming (Computer science)
|v Congresses.
|
| 650 |
|
7 |
|a Functional programming (Computer science)
|2 fast
|
| 655 |
|
0 |
|a Electronic books.
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
| 700 |
1 |
|
|a Chang, Stephen,
|e editor.
|0 (orcid)0000-0002-4760-0658
|1 https://orcid.org/0000-0002-4760-0658
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 13868.
|x 1611-3349
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-031-38938-2
|y Click for online access
|
| 903 |
|
|
|a SPRING-ALL2023
|
| 994 |
|
|
|a 92
|b HCD
|