Dependently Typed Programming in Agda

Norell, U. (2009). Dependently Typed Programming in Agda. Advanced Functional Programming.

Type

Book chapter

Intellectual base

Review or monograph

Year

2009

DOI

10.1007/978-3-642-04652-0_5

Link

https://doi.org/10.1007/978-3-642-04652-0_5

Cited by

1 citation across 1 artifact.

Domain-specific

• Total functional programming
  • This draft describes language architecture, not instructions for defeating checkers.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:b9d9b7dd6c3d · see in the full table