LEADER 01758nam  2200421   450 
001 9910376436403321
005 20230808195703.0
010   $a1-4503-4435-6
035   $a(CKB)3710000000880836
035   $a(WaSeSS)IndRDA00103224
035   $a(EXLCZ)993710000000880836
100   $a20180816d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTyDe '16 $eproceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan /$fedited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLAN
210  1$aNew York :$cACM,$d2016.
215   $a1 online resource (71 pages)
517 1 $aType-Driven Development 2016
517 1 $aProceedings of the 1st International Workshop on Type-Driven Development
517 1 $aICFP '16 :$eACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-22, 2016
517 1 $aInternational Conference on Functional Programming 2016 :$eAssociation for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming : Nara, Japan, September 18-22, 2016
606   $aProgramming languages (Electronic computers)$vCongresses
606   $aComputer programs$vCongresses
615  0$aProgramming languages (Electronic computers)
615  0$aComputer programs
676   $a005.13
702   $aChapman$b James
702   $aSwierstra$b Wouter
712 02$aACM Special Interest Group on Programming Languages,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376436403321
996   $aTyDe '16$92286157
997   $aUNINA