Mathematics of Program Construction
portes grátis
Mathematics of Program Construction
14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings
Komendantskaya, Ekaterina
Springer International Publishing AG
09/2022
269
Mole
Inglês
9783031169113
15 a 20 dias
443
Descrição não disponível.
Breadth-First Traversal Via Staging.- Subtyping without Reduction.- Calculating datastructures.- Flexibly Graded Monads and Graded Algebras.- Folding over Neural Networks.- Towards a Practical Library for Monadic Equational Reasoning in Coq.- Semantic preservation for a type directed translation scheme of Featherweight Go.- Streams of Approximations, Equivalence of Recursive Effectful Programs.- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;automata theory;computer networks;computer programming;computer systems;databases;distributed computer systems;distributed systems;formal logic;functional programming;mathematics;matrix algebra;network protocols;semantics;software design;software engineering
Breadth-First Traversal Via Staging.- Subtyping without Reduction.- Calculating datastructures.- Flexibly Graded Monads and Graded Algebras.- Folding over Neural Networks.- Towards a Practical Library for Monadic Equational Reasoning in Coq.- Semantic preservation for a type directed translation scheme of Featherweight Go.- Streams of Approximations, Equivalence of Recursive Effectful Programs.- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
