Spring 2022 - CMPT 383 D100

Comparative Programming Languages (3)

Class Number: 5618

Delivery Method: In Person

Overview

  • Course Times + Location:

    Tu 12:30 PM – 2:20 PM
    SSCK 9500, Burnaby

    Fr 12:30 PM – 1:20 PM
    SSCK 9500, Burnaby

  • Prerequisites:

    CMPT 225 and (MACM 101 or (ENSC 251 and ENSC 252)), all with a minimum grade of C-.

Description

CALENDAR DESCRIPTION:

Various concepts and principles underlying the design and use of modern programming languages are considered in the context of procedural, object-oriented, functional and logic programming languages. Topics include data and control structuring constructs, facilities for modularity and data abstraction, polymorphism, syntax, and formal semantics.

COURSE DETAILS:

This course introduces the fundamental concepts behind different kinds of imperative and functional programming languages. It covers several topics about formal semantics, type checking, type inference, and the basics of functional programming. Students will learn to give semantics to program constructs, interpret program elements, check the correctness of types, and automatically detect the type of expressions in a program.

Topics

  • Functional programming
  • Lambda calculus
  • Formal semantics
  • Type checking
  • Type inference
  • Polymorphism

Grading

  • Writing Assignments 50%
  • Programming Assignments 40%
  • Class Activities 10%

NOTES:

Details will be confirmed in the first week of classes.

Students must attain an overall passing grade on the weighted average of exams in the course in order to obtain a clear pass (C- or better).

Materials

MATERIALS + SUPPLIES:

Reference Books:
Types and Programming Languages, Benjamin C. Pierce, The MIT Press, 2002, 9780262162098

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

SFU’s Academic Integrity web site http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html

TEACHING AT SFU IN SPRING 2022

Teaching at SFU in spring 2022 will involve primarily in-person instruction, with safety plans in place.  Some courses will still be offered through remote methods, and if so, this will be clearly identified in the schedule of classes.  You will also know at enrollment whether remote course components will be “live” (synchronous) or at your own pace (asynchronous).

Enrolling in a course acknowledges that you are able to attend in whatever format is required.  You should not enroll in a course that is in-person if you are not able to return to campus, and should be aware that remote study may entail different modes of learning, interaction with your instructor, and ways of getting feedback on your work than may be the case for in-person classes.

Students with hidden or visible disabilities who may need class or exam accommodations, including in the context of remote learning, are advised to register with the SFU Centre for Accessible Learning (caladmin@sfu.ca or 778-782-3112) as early as possible in order to prepare for the spring 2022 term.