|
|
(9 intermediate revisions by 4 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: LEGO / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: AXIOM / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Coq / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Haskell / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: ML / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Nuprl / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3714165 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4023642 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3958439 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An algorithm for type-checking dependent types / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Qualified Types / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4023355 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5536619 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A theory of type polymorphism in programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A polymorphic type system for Prolog / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4692880 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Recursion Equations as a Programming Language / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Deforestation: Transforming programs to eliminate trees / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/s0304-3975(97)00062-5 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2912293148 / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |