Author:
Spanò Alvise,Cortesi Agostino,Zausa Giulio
Publisher
Springer International Publishing
Reference46 articles.
1. Barendregt, H.P.: Functional programming and lambda calculus. In: Formal Models and Semantics, pp. 321–363. Elsevier (1990)
2. Bloch, J.: Effective Java. Pearson Education India (2016)
3. Bracha, G.: Generics in the Java Programming Language (2004)
4. Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: adding genericity to the Java programming language. ACM SIGPLAN Not. 33(10), 183–200 (1998)
5. Brady, E.: Programming and reasoning with algebraic effects and dependent types. ACM SIGPLAN Not. 48, 133–144 (2013)