Výsledky vyhledávání - "Programming language theory"
-
1
Generic recursive lens combinators and their calculation laws
ISSN: 0304-3975, 1879-2294Vydáno: Elsevier B.V 20.04.2022Vydáno v Theoretical computer science (20.04.2022)“…•We provide a set of generic recursive lens combinators for constructing bidirectional programs.•We extend existing recursive lens combinators to support…”
Získat plný text
Journal Article -
2
Divide-and-conquer checkpointing for arbitrary programs with no user annotation
ISSN: 1055-6788, 1029-4937Vydáno: Abingdon Taylor & Francis 02.11.2018Vydáno v Optimization methods & software (02.11.2018)“…Classical reverse-mode automatic differentiation (AD) imposes only a small constant-factor overhead in operation count over the original computation, but has…”
Získat plný text
Journal Article