Home//Concepts/The plait programming language

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

The plait programming language

Modified just now

Books

Chapter 2. Evaluation

JourneyProgramming Language Theory Statuslearning Tags

language-feature-design

A dialect of Lisp, based on Racket, but with Type system resembling that of ML.

Previous in ConceptsThe diamond problem Next in Concepts Token

Books

Chapter 2. Evaluation

JourneyProgramming Language Theory

Statuslearning

Tags

language-feature-design