Authors: Samuel Feitosa, Rodrigo Ribeiro, Andre Du Bois
Run "stack test" to test properties.
Run "stack test --coverage" to test and generate coverage statistics.
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
License
fjpub/fj-qc
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published