Trends in Functional Programming
portes grátis
Trends in Functional Programming
24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Chang, Stephen
Springer International Publishing AG
08/2023
107
Mole
Inglês
9783031389375
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
functional programming;type systems;verification;debugging;profiling;program analysis;empirical studies;virtual machines;domain specific languages;implementation strategies;compilers
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
