Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 16 | |
| Author | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/55058 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
2
6
10
00:00
AlgorithmSource codeReverse engineeringComputer programAdditionFunktorDerivation (linguistics)ChainFormal languageOperations researchCalculusAlgorithmCodeData structureFormal languageComputer hardwareImplementationCombinatoricsMathematicsLogicNonlinear systemOrder (biology)Prime numberProgramming languageTheory of relativityCombinational logicTransformation (genetics)Function (mathematics)Computer programmingType theoryCompilerSemantics (computer science)Variable (mathematics)Category of beingFunctional programmingVector spaceFunktorPhase transitionDerivation (linguistics)FinitismusMathematical optimizationAlgebraBayes-EntscheidungstheorieProof theoryForm (programming)BitMorphismusFunctional (mathematics)Line (geometry)Gradient descentHomomorphismusMultilaterationInterpreter (computing)ChainChain ruleLambda calculusLinear mapExtension (kinesiology)MereologyMonoidMultiplicationPrime idealResultantSigma-algebraSineCore dumpInductive reasoningTerm (mathematics)Trigonometric functionsCommutatorVirtual machineQuicksortLinearizationReal numberPrototypeSimilarity (geometry)Morley's categoricity theoremOperator (mathematics)Parameter (computer programming)CASE <Informatik>Process (computing)Connectivity (graph theory)Translation (relic)Instance (computer science)State observerDifferentiable functionParallel portSummierbarkeitAdditionPoint (geometry)Automatic differentiationControl flowArithmetic progressionCartesian coordinate systemObservational studyOptimization problemReverse engineeringStudent's t-testCodomainExpressionPartial derivativeSound effectSource codeCondition numberCartesian productCartesian closed categoryFiber (mathematics)Canonical ensembleRun time (program lifecycle phase)Different (Kate Ryan album)Constructor (object-oriented programming)Contrast (vision)Domain nameRepresentation (politics)Object (grammar)Image resolutionProgram codeContext awarenessMultiplication signRule of inferenceMessage passing2 (number)MappingFirst-order logicDemosceneIdentity managementComputer animation
Transcript: English(auto-generated)