Tags

Coq

• Equivalence of interpretation and compilation followed by execution
• An interpreter, a compiler, and a virtual machine
• A primer on the Coq Proof Assistant

Case analysis

• A primer on the Coq Proof Assistant

Induction

• A primer on the Coq Proof Assistant

Natural numbers

• A primer on the Coq Proof Assistant

Arithmetic

• A primer on the Coq Proof Assistant

Haskell

• A grid of Moessner triangles
• Deriving Moessner's sieve from Horner's method
• Obtaining Taylor Polynomials with Horner's method
• A characteristic function of Moessner's sieve
• A dual to Moessner's sieve
• An introduction to Moessner's theorem and Moessner's sieve
• Rotating Pascal's triangle and the binomial coefficient
• An introduction to Pascal's triangle and the binomial coefficient
• An introduction to Horner's method

Polynomial evaluation

• An introduction to Horner's method

Polynomial division

• Deriving Moessner's sieve from Horner's method
• Obtaining Taylor Polynomials with Horner's method
• An introduction to Horner's method

Horner's method

• Deriving Moessner's sieve from Horner's method
• Obtaining Taylor Polynomials with Horner's method
• An introduction to Horner's method

Moessner's sieve

• Idealized versions of Moessner's theorem and Long's theorem
• A grid of Moessner triangles
• Deriving Moessner's sieve from Horner's method
• A characteristic function of Moessner's sieve
• A dual to Moessner's sieve
• An introduction to Moessner's theorem and Moessner's sieve
• An introduction to Horner's method

Programming Languages

• Equivalence of interpretation and compilation followed by execution
• An interpreter, a compiler, and a virtual machine

Interpreters

• Equivalence of interpretation and compilation followed by execution
• An interpreter, a compiler, and a virtual machine

Compilers

• Equivalence of interpretation and compilation followed by execution
• An interpreter, a compiler, and a virtual machine

Virtual Machines

• Equivalence of interpretation and compilation followed by execution
• An interpreter, a compiler, and a virtual machine

Pascal's triangle

• Rotating Pascal's triangle and the binomial coefficient
• An introduction to Pascal's triangle and the binomial coefficient

Binomial coefficient

• Rotating Pascal's triangle and the binomial coefficient
• An introduction to Pascal's triangle and the binomial coefficient

Moessner's theorem

• Idealized versions of Moessner's theorem and Long's theorem
• An introduction to Moessner's theorem and Moessner's sieve

Taylor polynomials

• Deriving Moessner's sieve from Horner's method
• Obtaining Taylor Polynomials with Horner's method

Long's theorem

• Idealized versions of Moessner's theorem and Long's theorem

Elm

• Programming in Style: From Pattern Matching to Point Free
• Sum types in Kotlin, Elixir, and Elm
• Product types in Kotlin, Elixir, and Elm
• Enum types in Kotlin, Elixir, and Elm

Elixir

• Sum types in Kotlin, Elixir, and Elm
• Product types in Kotlin, Elixir, and Elm
• Enum types in Kotlin, Elixir, and Elm

Kotlin

• Sum types in Kotlin, Elixir, and Elm
• Product types in Kotlin, Elixir, and Elm
• Enum types in Kotlin, Elixir, and Elm

Enum types

• Enum types in Kotlin, Elixir, and Elm

Functional programming

• Programming in Style: From Pattern Matching to Point Free
• Sum types in Kotlin, Elixir, and Elm
• Product types in Kotlin, Elixir, and Elm
• Enum types in Kotlin, Elixir, and Elm

Product types

• Product types in Kotlin, Elixir, and Elm

Sum types

• Sum types in Kotlin, Elixir, and Elm

Dependency management

• Making builds reliable and reproducible