Revision as of 01:48, 28 October 2020 edit Omnipaedista (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 267,164 edits already linked above ← Previous edit		Revision as of 21:52, 30 September 2022 edit undo Lexi.lambda (talk \| contribs) 48 edits Prefer “typing rules” over “type rules” 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 [[~~type~~typing rules]] 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