Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Programming Languages (D.3) > General (D.3.0)
  General (D.3.0) See Reviews  
Subject Descriptors:
Standards (25)
Proper Nouns:
There are no proper nouns with reviews under D.3.0.
Reviews limited to:

Reviews about "General (D.3.0)":
Date Reviewed
Efficient differentiable programming in a functional array-processing language
Shaikhha A., Fitzgibbon A., Vytiniotis D., Peyton Jones S.  Proceedings of the ACM on Programming Languages 3(ICFP): 1-30, 2019. Type: Article
Jul 20 2021
Constructing quotient inductive-inductive types
Kaposi A., Kovács A., Altenkirch T.  Proceedings of the ACM on Programming Languages 3(POPL): 1-24, 2019. Type: Article
Jul 9 2021
 Understanding programming languages
Jones C.,  Springer International Publishing, Cham, Switzerland, 2020. 240 pp. Type: Book (978-3-030592-56-1)
Jun 29 2021
 The kollected Kode Vicious: opinionated advice for programmers
Neville-Neil G.,  Addison-Wesley, Boston, MA, 2020. 311 pp. Type: Book (978-1-367882-46-1)
Apr 30 2021
Implementing a modal dependent type theory
Gratzer D., Sterling J., Birkedal L.  Proceedings of the ACM on Programming Languages 3(ICFP): 1-29, 2019. Type: Article
Apr 27 2021
Environmental bisimulations for probabilistic higher-order languages
Sangiorgi D., Vignudelli V.  ACM Transactions on Programming Languages and Systems 41(4): 1-64, 2019. Type: Article
Feb 2 2021
Learning programming languages as shortcuts to natural language token replacements
Barmpoutis A.  Koli Calling 2018 (Proceedings of the 18th Koli Calling International Conference on Computing Education Research, Koli, Finland,  Nov 22-25, 2018) 1-10, 2018. Type: Proceedings
Nov 3 2020
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2022 ThinkLoud, Inc.
Terms of Use
| Privacy Policy