Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang.

Colaborador(es): Chang, Stephen [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 13868Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Edición: 1st ed. 2023Descripción: IX, 107 p. 500 illus., 23 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031389382Tema(s): 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 LanguageFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.11 Clasificación LoC:QA76.6-76.66Recursos en línea: Libro electrónicoTexto
Contenidos:
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. .
En: Springer Nature eBookResumen: 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.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos 1 No para préstamo

Acceso multiusuario

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

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.

UABC ; Perpetuidad

Con tecnología Koha