https://github.com/namin/unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
https://github.com/namin/unsound

java meta-theory oop scala unsound

Last synced: 3 months ago
JSON representation

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

• Host: GitHub
• URL: https://github.com/namin/unsound
• Owner: namin
• Created: 2016-08-10T18:08:01.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2023-08-20T20:57:23.000Z (over 1 year ago)
• Last Synced: 2024-10-11T21:47:30.554Z (3 months ago)
• Topics: java, meta-theory, oop, scala, unsound
• Language: HTML
• Homepage: https://io.livecode.ch/learn/namin/unsound?img=java8
• Size: 257 KB
• Stars: 74
• Watchers: 5
• Forks: 4
• Open Issues: 3

Awesome Lists containing this project