A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.

Samuel da Silva Feitosa Rodrigo Geraldo Ribeiro André Rauber Du Bois

Published in: SBMF (2018)

Keyphrases

computational complexity
case study
multi agent
open source
hardware implementation
java programs