01758nam 2200421 450 991037643640332120230808195703.01-4503-4435-6(CKB)3710000000880836(WaSeSS)IndRDA00103224(EXLCZ)99371000000088083620180816d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierTyDe '16 proceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan /edited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLANNew York :ACM,2016.1 online resource (71 pages)Type-Driven Development 2016Proceedings of the 1st International Workshop on Type-Driven DevelopmentICFP '16 :ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-22, 2016International Conference on Functional Programming 2016 :Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming : Nara, Japan, September 18-22, 2016Programming languages (Electronic computers)CongressesComputer programsCongressesProgramming languages (Electronic computers)Computer programs005.13Chapman JamesSwierstra WouterACM Special Interest Group on Programming Languages,WaSeSSWaSeSSBOOK9910376436403321TyDe '162286157UNINA