akuhlens / hyper-coercions Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

A new representation for coercions based gradual typing

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
paper		paper
.gitignore		.gitignore
Coercions.v		Coercions.v
General.v		General.v
HCoercions.v		HCoercions.v
HCoercionsCompose.v		HCoercionsCompose.v
HCoercionsIso.v		HCoercionsIso.v
LibTactics.v		LibTactics.v
Makefile		Makefile
README.md		README.md
SolveMax.v		SolveMax.v
Types.v		Types.v
_CoqProject		_CoqProject

Repository files navigation

hyper-coercions

A new representation for coercions based gradual typing

About

A new representation for coercions based gradual typing

Report repository

Releases

No releases published

Packages

No packages published

Languages