D
dependent typing
Projects with this topic
-
A discussion of next generation technologies, especially with regard to software and formal methods.
Updated
A discussion of next generation technologies, especially with regard to software and formal methods.