Covers the simple implementation of Signals and Vars in functional reactive programming, including dependency maintenance and implicit function types.
Covers the basics of Java programming, including variables, expressions, operators, and the concept of strong typing.
Covers Lorentz-Minkowski spacetime, speed of light interpretation, isometries, and special relativity principles.
Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.
