Skip Abstract Section
Abstract
The full source code for the examples provided in this book aims to encourage innovation and experimentation by a readership that will gain much from the first publication of its kind based on F#. It also covers design and other aspects of Java and C#.
Cited By
- Al-Sibahi A, Jensen T, Dimovski A and Wąsowski A (2020). Verification of high-level transformations with inductive refinement types, ACM SIGPLAN Notices, 53:9, (147-160), Online publication date: 7-Apr-2020.
- Al-Sibahi A, Jensen T, Dimovski A and Wąsowski A Verification of high-level transformations with inductive refinement types Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (147-160)
- Ierusalimschy R, De Figueiredo L and Celes W (2018). A look at the design of Lua, Communications of the ACM, 61:11, (114-123), Online publication date: 26-Oct-2018.
Index Terms
- Programming Language Concepts
Recommendations
Interactive, Language-neutral Flowcharts and Pseudocode for Teaching Core CS0/1 Programming Concepts: (Abstract Only)
SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science EducationIntroductory programming courses often use a full-featured programming language, such as Python, Java, or C++, wherein students concurrently learn programming concepts along with language syntax. However, many instructors believe that learning ...