Neil Savage
Skip Abstract Section
Abstract
Functional programming languages automate many of the details underlying specific operations.
- Diatchki, I.S., Hallgren, T., Jones, M.P., Leslie, R., and Tolmach, A. Writing systems software in a functional language: An experience report PLOS 2007 http://yav.github.io/publications/plos07.pdf Google Scholar
Digital Library
- Antoy, S. and Hanus, M. Functional Logic Programming, CACM 43, April 2010. Google ScholarDigital Library
- Bernardy, J-P., Boespflug, M., Newton, R., Peyton Jones, S., and Spiwack, A. Linear Haskell: Practical linearity in a higher-order polymorphic language, Proceedings of the ACM on Programming Languages 2, 2017 https://www.microsoft.com/en-us/research/publication/retrofitting-linear-types/ Google ScholarDigital Library
- Vazou, N., Choudhury, V., Scott, R.G., Newton, P.R., Wadler, P., and Jhala, R. Refinement reflection: Complete verification with SMTGoogle Scholar
- Principles of Programming Languages (POPL), Los Angeles, 8-13 January 2018. https://dl.acm.org/citation.cfm?doid=3177123.3158141Google Scholar
- Functional Programming and Haskell https://www.youtube.com/watch?v=LnX3B9oaKzwGoogle Scholar
Index Terms
- Using functions for easier programming
Recommendations
Teaching Programming Paradigms Using CLIPS
Papers of the 29th Annual CCSC Midwestern ConferenceCLIPS is an expert system shell, originally developed at NASA. In universities, it is often used in courses in Artificial Intelligence and Expert Systems and projects for building expert systems. I believe it can be used effectively in courses in ...
Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice
Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...
Comments