Revision as of 21:52, 30 September 2022 edit Lexi.lambda (talk \| contribs) 48 edits Prefer “typing rules” over “type rules” ← Previous edit		Revision as of 21:57, 30 September 2022 edit undo Lexi.lambda (talk \| contribs) 48 edits mNo edit summary Next edit →
Line 7: is read as "<math>e</math> has type <math>\tau</math> in context <math>\Gamma</math> ".<ref name='cornell-cs4110' /> In [[statically typed]] [[programming language]]s these environments are used and maintained by [[typing ~~rules~~rule]]s to [[type checking\|type check]] a given program or expression.<ref follow='cornell-cs4110'>{{Cite web\| title=Simply Typed λ-calculus\|url=https://www.cs.cornell.edu/courses/cs4110/2012fa/lectures/lecture19.pdf}}</ref> ==See also==

Typing environment: Difference between revisions