View Item 

A functional programming language based on dependent type theory

Xie Zongpu
Date: 2021-05-29
Subject: functional
type
szakdolgozat
URI: http://hdl.handle.net/10831/77411

Abstract:

A dependently typed functional programming language is implemented with row polymorphism and extensible records.


Show full item record

Files in this item

A functional programming language based on dependent type theory
Name: 1206509609.pdf
Size: 462.1Kb
Format: PDF
Restricted access: IK Library terminalsRestricted access: IK Library terminals
A functional programming language based on dependent type theory
Name: 1206509609_melleklet.zip
Size: 533.8Kb
Format: application/zip
Restricted access: IK Library terminalsRestricted access: IK Library terminals