GitHub - Chaaaos/ImplemPL: Repository for the reading course on the implementation of programming languages supervised by Matija Pretnar at the University of Ljubljana (Faculty of Mathematics and Physics). It will contain the project for this course, as well as implementation exercises based on the book "Typed and Programming Languages" by Benjamin Pierce.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
SystemF_BindlibVersion		SystemF_BindlibVersion
bindlib_versions		bindlib_versions
BidirectionalFGCBV.ml		BidirectionalFGCBV.ml
BidirectionalLambda.ml		BidirectionalLambda.ml
FGCBVLambda.ml		FGCBVLambda.ml
TypedArithmetic.ml		TypedArithmetic.ml
TypedLambda.ml		TypedLambda.ml
TypedLambdaWithConstructors.ml		TypedLambdaWithConstructors.ml
UntypedArithmetic.ml		UntypedArithmetic.ml
UntypedArithmeticMatija.ml		UntypedArithmeticMatija.ml
UntypedLambda.ml		UntypedLambda.ml
UntypedLambdaMatija.ml		UntypedLambdaMatija.ml
main.ml		main.ml

About

Repository for the reading course on the implementation of programming languages supervised by Matija Pretnar at the University of Ljubljana (Faculty of Mathematics and Physics). It will contain the project for this course, as well as implementation exercises based on the book "Typed and Programming Languages" by Benjamin Pierce.