176 citations
- Imperial College LondonGB100 papers
- King's College LondonGB6 papers
- University of OxfordGB6 papers
- University College LondonGB5 papers
- University of CambridgeGB5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Technical University of MunichDE4 papers
- Institute for High Energy PhysicsES3 papers
- Institute of Group AnalysisGB3 papers
- Lancaster UniversityGB3 papers
- MRC London Institute of Medical SciencesGB3 papers
- Nanjing University of Science and TechnologyCN3 papers
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 2 cited
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real numbe…
cs.DL2022★ 11 cited
Recategorising research: Mapping from FoR 2008 to FoR 2020 in Dimensions
Simon J Porter, Lezan Hawizy, Daniel W Hook
In 2020 the Australia New Zealand Standard Research Classification Fields of Research Codes (ANZSRC FoR codes) were updated by their owners. This has led the sector to need to upda…