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
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy