Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Languages (D.3) > General (D.3.0)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 68 Reviews about "General (D.3.0)": Date Reviewed   Murach's R for data analysis McCoy S., Mike Murach & Associates, Inc., Fresno, CA, 2022. 557 pp.  Type: Book (1943873038) To paraphrase a popular political meme, “What should entry-level data analysts know and when should they know it?” And then, how should they learn it? Certain data exploration and analysis programming skills, for R, Python, and SQL, ar... Jun 19 2023   The language of SQL (3rd ed.) Rockoff L., Pearson, Hoboken, NJ, 2021. 272 pp.  Type: Book (978-0-137632-69-5) Structured query language (SQL) allows programmers to interact with a data repository through a relational database management system (RDBMS). The language of SQL is divided into 20 easy chapters. It also includes three appendices about ins... Dec 23 2022   Here we go again: Why is it difficult for developers to learn another programming language? Shrestha N., Botta C., Barik T., Parmin C. Communications of the ACM 65(3): 91-99, 2022.  Type: Article It is common for programmers to switch programming languages--quite often, new work happens to involve a new programming language and the programmer has to just dive into it. Many have experienced this, along with the ups and ... Jun 7 2022   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 Differentiable programming, or automatic differentiation, is a powerful technique in many fields, including dynamic systems, machine learning, and computer vision, mainly for solving nonlinear problems. Forward (versus reverse) differe... 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 At the core of Martin-Löf type theory (also known as “intuitionistic type theory”) are dependent types, that is, types whose definitions depend on values; these may be used to encode logical quantification.... Jul 9 2021    Understanding programming languages Jones C., Springer International Publishing, Cham, Switzerland, 2020. 240 pp.  Type: Book (978-3-030592-56-1) This well-written textbook focuses on a precise description of programming language semantics in a relatively easily understood manner, utilizing a notation derived from a subset of the Vienna development method (VDM). The author motiv... 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) Readers of Communications of the ACM and ACM Queue are surely familiar with the magazines’ “Dear Abby”-like column, written by George V. Neville-Neil, under his persona Kode Vicious, or KV. T... 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 Modalities are widely used in mathematics and computer science as an abstraction tool, but it turns out to be difficult to incorporate them in rich type theories. The authors address this problem, proposing a new dependent type theory ... 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 Bisimulation is a technique for proving the behavioral equivalence of labeled transition systems. It is used in the study of λ calculi, for example, especially in the context of concurrency. The basic idea is to find a relatio... 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 Students learning programming languages initially struggle very much with the relationship between the formal syntax of the language and the intuitive interpretation of its meaning. The program text is composed of a sequence of special... Nov 3 2020       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy