ThisJava: An Extension of Java with Exact Types.

Hyunik Na Sukyoung Ryu

Published in: APLAS (2013)

Keyphrases

object oriented
programming language
data sets
user interface
real world
web services
probabilistic model
end users
java applets