Category:Dependently-typed formal languages

From Seo Wiki - Search Engine Optimization and Programming Languages

Jump to: navigation, search

This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.ru:Категория:Типозависимые формальные языки

Pages in category "Dependently-typed formal languages"

The following 6 pages are in this category, out of 6 total.

A

C

D

E

Personal tools

Served in 0.063 secs.