skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Type-Driven Development with Idris

Journal of Functional Programming, 2020, Vol.30, Article e16 [Peer Reviewed Journal]

Copyright © The Author(s), 2020. Published by Cambridge University Press ;ISSN: 0956-7968 ;EISSN: 1469-7653 ;DOI: 10.1017/S0956796820000143

Full text available

Citations Cited by
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait