Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tiark Rompf
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Proceedings of the ACM on Programming Languages
Compiling With Continuations, or Without? Whatever.
Proceedings of the ACM on Programming Languages
Type Soundness Proofs With Definitional Interpreters
Reflections on LMS: Exploring Front-End Alternatives
Related publications
Efficient Differentiable Programming in a Functional Array-Processing Language
Proceedings of the ACM on Programming Languages
Demystifying the Dendralenes
Pure and Applied Chemistry
Chemistry
Chemical Engineering
Demystifying the Citizen Soldier
Penultimate Approximation for the Distribution of the Excesses
ESAIM - Probability and Statistics
Statistics
Probability
Tripping the Reset Switch
Veterinary Record
Medicine
Veterinary
Demystifying the Business Plan
Psychiatric Bulletin
Demystifying Genital Prolapse
Experimental Techniques in Urology & Nephrology
A Shift Sequence for Nurse Scheduling Using Linear Programming Problem
IOSR Journal of Nursing and Health Science
Demystifying Lean Leadership
International Journal of Lean Six Sigma
Industrial
Manufacturing Engineering
Strategy
Management Science
Management
Operations Research