University:

Email Address:

Phone Number:

Log Out View Passbook

Equational Programming - Period 1 Computer Science Program Fall 2022 Semester - Amsterdam

Flight Credit Get a Flight Credit worth up to $350 when you apply with code* by May 6, 2024

Get Your Code
BACK TO COURSE LISTINGS

Equational Programming - Period 1

Equational Programming - Period 1 Course Overview

OVERVIEW

CEA CAPA Partner Institution: Vrije Universiteit Amsterdam
Location: Amsterdam, Netherlands
Primary Subject Area: Mathematics
Instruction in: English
Course Code: X_401011
Transcript Source: Partner Institution
Course Details: Level 300
Recommended Semester Credits: 3
Contact Hours: 84
Prerequisites: It helps to be familiar with formal reasoning as for example taught in the course Logic and Modeling.

DESCRIPTION

In the practical work we use the functional programming language Haskell. We practice with the basics such as lists, recursion, data-types, and a bit of monads. The theoretical part is concerned with the foundations of functional programming in the form of lambda calculus and equational reasoning. We study in untyped lambda calculus beta reduction, reduction strategies, confluence, encoding of data-types, fixed point combinators and recursive functions.In addition we study the lambda-calculus with simple types, its typing system and a type inference algorithm, and possibly strong normalization of simply typed lambda-calculus. In equational reasoning we work towards the results that all initial models are equal up to isomorphism, and that the term model is aninitial model.

Contact hours listed under a course description may vary due to the combination of lecture-based and independent work required for each course therefore, CEA's recommended credits are based on the ECTS credits assigned by VU Amsterdam. 1 ECTS equals 28 contact hours assigned by VU Amsterdam.

This course included a lab component.

Receive a $350 Flight Credit when you apply by May 06, 2024

Get your flight credit code and access to Passbook in two easy steps. With Passbook, you can track your favorite programs and courses, save flight credits, and watch videos on the destination you're interested in.

Apply Now

Step 1 of 2

Next Step

Step 2 of 2

Submit

Back

*By providing your mobile number, you agree to receive recurring text messages from CEA CAPA Education Abroad notifying you of important program deadlines. Message and data rates may apply.

Privacy Policy   |   Mobile Terms   |   Flight Credit Rules

Your flight credit has been added to your Passbook. Apply now or view your Passbook to begin the next step in your journey.

Passbook Apply Now

Speak with an
Admissions Advisor

Schedule an appointment to speak with a study abroad expert.

Book Appointment
LET'S CHAT