Daniel's Blog danilafe.com

Reasons to Love the Field of Programming Languages

danilafe.com·6w·

Discuss: Lobsters, Hacker News

Chapel's Runtime Types as an Interesting Alternative to Dependent Types

danilafe.com·49w·

Discuss: Hacker News

Implementing and Verifying "Static Program Analysis" in Agda, Part 9: Verifying the Forward Analysis

danilafe.com·59w

Implementing and Verifying "Static Program Analysis" in Agda, Part 8: Forward Analysis

danilafe.com·62w

Implementing and Verifying "Static Program Analysis" in Agda, Part 7: Connecting Semantics and Control Flow Graphs

danilafe.com·63w

Implementing and Verifying "Static Program Analysis" in Agda, Part 6: Control Flow Graphs

danilafe.com·63w

Implementing and Verifying "Static Program Analysis" in Agda, Part 5: Our Programming Language

danilafe.com·66w

Implementing and Verifying "Static Program Analysis" in Agda, Part 4: The Fixed-Point Algorithm

danilafe.com·66w

Implementing and Verifying "Static Program Analysis" in Agda, Part 3: Lattices of Finite Height

danilafe.com·79w

Implementing and Verifying "Static Program Analysis" in Agda, Part 2: Combining Lattices

danilafe.com·79w

Untitled Short Story

danilafe.com·80w

Implementing and Verifying "Static Program Analysis" in Agda, Part 1: Lattices

danilafe.com·83w

Implementing and Verifying "Static Program Analysis" in Agda, Part 0: Intro

danilafe.com·83w

Microfeatures I Love in Blogs and Personal Websites

danilafe.com·85w

Integrating Agda's HTML Output with Hugo

danilafe.com·89w

The "Deeply Embedded Expression" Trick in Agda

danilafe.com·100w

Bergamot: Exploring Programming Language Inference Rules

danilafe.com·112w

My Favorite C++ Pattern: X Macros (2023)

danilafe.com·46w·

Discuss: Hacker News

The "Is Something" Pattern in Agda

danilafe.com·128w

Proving My Compiler Code Incorrect With Alloy

danilafe.com·140w

Loading...Loading more...