lambda calculus (needs a complete rewrite; start with outline in user space...)
simply typed lambda calculus (not surprisingly in a better shape than its parent, although still is somewhat unbalanced, giving too much weight to tangential topics)
Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, volume 37(9) of ACM SIGPLAN Notices, pages 157–166. ACM, October 2002.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, pages 90–104. ACM Press, 2002.
Stephanie Weirich. Type-safe cast: Functional Pearl. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’00), volume 35(9) of ACM SIGPLAN Notices, pages 58–67, New York, NY, USA, September 2000. ACM Press.
strongly typed,
weakly typed (in a strongly typed language all values have an associated type (Burstall, CCT) vis-à-vis languages where values are uninterpreted machine words.
Symposium on Principles of Programming Languages (POPL)
Practical Aspects of Declarative Languages (PADL)
Partial Evaluation and Program Manipulation (PEPM)
International Conference on Functional Programming (ICFP)
Implementation of Functional Languages (IFL)
Programming Language Design and Implementation (PLDI)
European Symposium on Programming (ESOP)
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
European Conference on Object-Oriented Programming (ECOOP)
Foundations of Object-Oriented Languages (FOOL)
International Conference on Software Testing, Verification and Validation (ICST)
International Symposium on Software Testing and Analysis (ISSTA)
Software Engineering and Formal Methods (SEFM)
Foundations of Software Engineering (FSE)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
William F. Atchison, Samuel D. Conte, John W. Hamblen, Thomas E. Hull, Thomas A. Keenan, William B. Kehl, Edward J. McCluskey, Silvio O. Navarro, Werner C. Rheinboldt, Earl J. Schweppe, William Viavant, David M. Young: Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science. Commun. ACM 11(3): 151-197 (1968)
Samuel D. Conte, John W. Hamblen, William B. Kehl, Silvio O. Navarro, Werner C. Rheinboldt, David M. Young, William F. Atchison: An undergraduate program in computer science - preliminary recommendations. Commun. ACM 8(9): 543-552 (1965)
Find and fix dual-tagged articles (e.g. "Computer science" and "Databases / Computer science", which really should be "Computer science / Databases") which causes assessment problems
[5]
lambda calculus (needs a complete rewrite; start with outline in user space...)
simply typed lambda calculus (not surprisingly in a better shape than its parent, although still is somewhat unbalanced, giving too much weight to tangential topics)
Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, volume 37(9) of ACM SIGPLAN Notices, pages 157–166. ACM, October 2002.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, pages 90–104. ACM Press, 2002.
Stephanie Weirich. Type-safe cast: Functional Pearl. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’00), volume 35(9) of ACM SIGPLAN Notices, pages 58–67, New York, NY, USA, September 2000. ACM Press.
strongly typed,
weakly typed (in a strongly typed language all values have an associated type (Burstall, CCT) vis-à-vis languages where values are uninterpreted machine words.
Symposium on Principles of Programming Languages (POPL)
Practical Aspects of Declarative Languages (PADL)
Partial Evaluation and Program Manipulation (PEPM)
International Conference on Functional Programming (ICFP)
Implementation of Functional Languages (IFL)
Programming Language Design and Implementation (PLDI)
European Symposium on Programming (ESOP)
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
European Conference on Object-Oriented Programming (ECOOP)
Foundations of Object-Oriented Languages (FOOL)
International Conference on Software Testing, Verification and Validation (ICST)
International Symposium on Software Testing and Analysis (ISSTA)
Software Engineering and Formal Methods (SEFM)
Foundations of Software Engineering (FSE)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
William F. Atchison, Samuel D. Conte, John W. Hamblen, Thomas E. Hull, Thomas A. Keenan, William B. Kehl, Edward J. McCluskey, Silvio O. Navarro, Werner C. Rheinboldt, Earl J. Schweppe, William Viavant, David M. Young: Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science. Commun. ACM 11(3): 151-197 (1968)
Samuel D. Conte, John W. Hamblen, William B. Kehl, Silvio O. Navarro, Werner C. Rheinboldt, David M. Young, William F. Atchison: An undergraduate program in computer science - preliminary recommendations. Commun. ACM 8(9): 543-552 (1965)
Find and fix dual-tagged articles (e.g. "Computer science" and "Databases / Computer science", which really should be "Computer science / Databases") which causes assessment problems
[5]