Author:
Giannini Paola,Shaqiri Albert
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Ranson, J.F., Hamilton, H.J., Fong, P.W.L.: A semantics of python in isabelle/hol. Technical Report CS-2008-04, CS Department, University of Regina, Saskatchewan (2008)
2. Nanevski, A.: From dynamic binding to state via modal possibility. In: PPDP’03, pp. 207–218. ACM (2003)
3. Ancona, D., Giannini, P., Zucca, E.: Reconciling positional and nominal binding. In: ITRS 2012. EPTCS (2013)
4. Giannini, P., Shaqiri, A.: Blue storm project (2013).
https://www.assembla.com/spaces/bluestorm
5. Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396–450 (2001)