TypeExplorer

MaRDI QIDQ45743swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0167642305001206

Described by source

• Documenting software systems using types

Cited in

(1)

• Lackwit

This page was built for software: TypeExplorer