Type inference

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Type Inference: Hindley-Milner Overview

Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.

Loops: Implementing a Repeat Loop

Presents an exercise solution example on implementing a repeat loop in Scala.

Polymorphic Types in Amy

Covers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.

Collision Kinetics: Theory and Applications

Covers the theory and applications of collision kinetics in understanding molecular interactions.

Implicit Function Types

Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.

Matrix to Density Operator

Explains the transformation from a matrix to the density operator in quantum physics.

Displacement Field by Point Forces

Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.

Block Pulled by a Spring

Explores the dynamics of a block pulled by a spring under various conditions.

Solid Mechanics Principles: Greens Functions

Explores Greens functions in solid mechanics, emphasizing the solution of point forces and their impact on displacement fields.

Chain Polymerisation: Mechanism and Kinetics

Explores the mechanism and kinetics of chain polymerisation, focusing on inhibitors and competitive inhibition in enzyme reactions.