a-usov / Java-SF Public

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

Semantically-typed Featherweight Java

a-usov.github.io/java-sf/

AGPL-3.0 license

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
.github/workflows		.github/workflows
config		config
gradle/wrapper		gradle/wrapper
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.gradle.kts		build.gradle.kts
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Repository files navigation

Java-SF

See Short Paper and full Dissertation

About

Semantically-typed Featherweight Java

a-usov.github.io/Java-SF/

java

AGPL-3.0 license

Report repository

Releases 1

Packages

No packages published

Contributors 2

Languages