Omslagsbillede

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /

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 wid...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Chang, Stephen (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:1st ed. 2023.
Serier:Lecture Notes in Computer Science, 13868
Fag:
Computer programming.
Natural language processing (Computer science).
Computer systems.
Microprogramming .
Programming languages (Electronic computers).
Programming Techniques.
Natural Language Processing (NLP).
Computer System Implementation.
Control Structures and Microprogramming.
Programming Language.
Online adgang:https://doi.org/10.1007/978-3-031-38938-2
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Indholdsfortegnelse:
  • 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. .

Lignende værker