Lantern

MaRDI QIDQ42672swMATHFDO

Official website https://feiwang3311.github.io/Lantern/

Source code repository https://github.com/feiwang3311/Lantern

Cited in

(11)

• DyNet
• Koka
• Eff
• Tangent
• Terra
• Hackage
• ONNX
• CHAD
• Getting There and Back Again
• ad
• Categorical semantics of a simple differential programming language

This page was built for software: Lantern