peterthiemann/LJGS peterthiemann/LJGS

  • Stars
    star
    1
  • Language Coq
  • License
    BSD 3-Clause "New...
  • Created over 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
peterthiemann/LJGS
github

peterthiemann

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalization of Lightweight Java with Gradual Security

More Repositories

1

definitional-session

Agda
12
star
2

dual-session

Exploration of session type duality
Agda
3
star
3

uniqueness

TeX
3
star
4

re-generate

Haskell
3
star
5

pgg

PGG the program generator generator for Scheme
Scheme
1
star
6

monopoly

Example development for lecture
Java
1
star
7

FeatherWeight

Formalization of IFJ
Agda
1
star