项目作者: buehler

项目描述 :
Research paper for the "Types and Programming Languages" MSE seminar
高级语言: TeX
项目地址: git://github.com/buehler/mse-seminar-prog-lang-paper.git
创建时间: 2020-09-19T09:14:59Z
项目社区:https://github.com/buehler/mse-seminar-prog-lang-paper

开源协议:

下载


Adding types to an untyped programming language

This is an academic paper, written for the Seminar
“Types and programming languages” during the Fall Semester 2020
under the supervision of Farhad Metha of the
University of applied Science of eastern Switzerland
Rapperswil (OST).