PL & Formal Methods Concept Explorer

Name a field and find out how it got to be the way it is.

Read how it got here Work through an example

Everything here is generated. The history page checks every paper against Semantic Scholar before citing it. The example page tries to refute its own claims.