PLDB
Languages Patterns Calendar About Lists Join

Lambda Diagrams

Lambda Diagrams

Lambda Diagrams is a notation created in 2014. Lambda Diagrams are a graphical notation for closed lambda terms, in which abstractions (lambdas) are represented by horizontal lines, variables by vertical lines emanating down from their binding lambda, and applications by horizontal links connecting the leftmost variables. In the alternative style, applications link the nearest deepest variables, for a more stylistic, if less uniform, look.

#3429on PLDB 8Years Old

Article source

PLDB - Build the next great programming language. v5.0.0 - Email ยท Github