Trends in Functional Programming
portes grátis
Trends in Functional Programming
23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers
Wu, Nicolas; Swierstra, Wouter
Springer International Publishing AG
01/2023
193
Mole
Inglês
9783031213137
15 a 20 dias
320
Descrição não disponível.
Embedding generic monadic transformer into Scala (Project Paper).- Towards a Language for Defining Reusable Programming Language Components (Project Paper).- Deep Embedding with Class.- Understanding Algebraic Effect Handlers via Delimited Control Operators.- Reducing the Power Consumption of IoT with Task-Oriented Programming.- Semantic equivalence of task-oriented programs in TopHat.- Algorithm Design with the Selection Monad.- Sound and Complete Type Inference for Closed Effect Rows.- Towards Efficient Adjustment of Effect Rows.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
high performance functional programming;functional programming in the cloud;validation and verification of functional programs;interoperability with imperative programming languages;program analysis and transformation techniques;embedded domain specific languages;artificial intelligence;programming languages;distributed computer systems;embedded systems
Embedding generic monadic transformer into Scala (Project Paper).- Towards a Language for Defining Reusable Programming Language Components (Project Paper).- Deep Embedding with Class.- Understanding Algebraic Effect Handlers via Delimited Control Operators.- Reducing the Power Consumption of IoT with Task-Oriented Programming.- Semantic equivalence of task-oriented programs in TopHat.- Algorithm Design with the Selection Monad.- Sound and Complete Type Inference for Closed Effect Rows.- Towards Efficient Adjustment of Effect Rows.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
high performance functional programming;functional programming in the cloud;validation and verification of functional programs;interoperability with imperative programming languages;program analysis and transformation techniques;embedded domain specific languages;artificial intelligence;programming languages;distributed computer systems;embedded systems
