Concept
Type safety
Related courses (36)
ChE-204: Introduction to transport phenomena
This course aims at understanding the basic equations behind macroscopic and microscopic transport phenomena (mass, heat and momentum).
CH-250: Mathematical methods in chemistry
This course consists of two parts. The first part covers basic concepts of molecular symmetry and the application of group theory to describe it. The second part introduces Laplace transforms and Four
CH-343: Spectroscopy
Introduction into optical spectroscopy of molecules
FIN-406: Macrofinance
This course provides students with a working knowledge of macroeconomic models that explicitly incorporate financial markets. The goal is to develop a broad and analytical framework for analyzing the
ENG-436: Food biotechnology
The course will deliver basic knowledge on the principles of food fermentation and enzyme technology. The course will also present benefits that food biotechnology can bring in terms of Nutrition & He
CS-452: Foundations of software
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
CIVIL-312: Hydraulic structures and schemes
Les aménagements hydrauliques sont indispensable pour garantir l'approvisionnement en énergie écophile et renouvelable, de même que l'approvisionnement en eau de bonne qualité et en quantité suffisant
AR-211: Stereotomy
La Stéréotomie est l'art de concevoir et fabriquer des volumes complexes en pierre et des assemblages en bois.
Ce cours propose une réinterprétation de la Stéréotomie avec différents outils, une réfl
CIVIL-414: Design of precast concrete structures
The course deals with the design of precast reinforced concrete structures, both for bridges and for buildings.
The course is focused in learning by projects supplemented by some lectures by the teac
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in