Report copyright - TeJaS: Retrofitting Type Systems for JavaScript · TeJaS has been engineered modularly to encourage experimentation. Its initial type en-vironment is reified, to admit easy modeling
Please pass captcha verification before submit form