Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings By Simon Peyton-Jones (auth.), Masahito Hasegawa (eds.)
2013 | 251 Pages | ISBN: 3642389457 | PDF | 5 MB
2013 | 251 Pages | ISBN: 3642389457 | PDF | 5 MB