Nepal

MaRDI QIDQ28499swMATHFDO

Official website http://www.cse.unsw.edu.au/~chak/nepal/

Cited in

(2)

• scientific article; zbMATH DE number 1875371 (Why is no real title available?)
• More dependent types for distributed arrays

This page was built for software: Nepal