Trends in Functional Programming
portes grátis
Trends in Functional Programming
25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Hemann, Jason; Chang, Stephen
Springer International Publishing AG
01/2025
243
Mole
9783031745577
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
.- Structural Refactorings for Exploring Dependently Typed Programming.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.
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
.- Structural Refactorings for Exploring Dependently Typed Programming.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
