VoDKA

MaRDI QIDQ14489swMATHFDO

Official website http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=307402

Cited in

(3)

• VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
• Certifying properties of an efficient functional program for computing Gröbner bases
• Caml

This page was built for software: VoDKA