Fixed-point Combinators, Tying the Recursive Knot, and Recursive Lambda ExpressionsIn Lambda Calculus, we cannot refer to the Lambda Abstraction itself within a Lambda Abstraction. Similarly, C++ does

SummaryChapter 22 of “Types and Programming Languages” explores the problem of Type Reconstruction (Type Inference) or deriving Types for Unannotated Arguments of Lambda Abstractions. It first introdu

Exception Semantics in PythonException handling refers to how a program reacts when unexpected events, known as exceptions, occur throughout the program’s execution. Exception semantics varies conside

SummaryChapter 15, “Subtyping,” describes adding Subtyping with Functions and Records into Simply Typed Lambda Calculus. It formalizes the Subtype Relation as a collection of Inference Rules, verifies

SummaryChapters 13 and 14 of “Types and Programming Languages” discuss adding Impure Features, also known as Computational Effects, into Simply Typed Lambda Calculus. Specifically, Chapter 13 discusse

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryThe paper first explains that except Syntax Directed Systems, Typing Rules

SummaryChapter 9 of “Types and Programming Languages” presents the simply typed lambda calculus, which constructs a type system for pure lambda calculus, explaining theoretical aspects such as the typ

There are many types in Python which can store date and time information. These types can be broadly divided into two categories: JSON Serializable Formats UNIX Timestamp (e.g. 0) ISO 8601 String (e.g

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. This paper presents Thread Safety Viola

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. The paper proposes a hybrid approach to