Operational Semantics
SInt A`n→nSVar x7→ v∈A
A`x→v
SFun A`e2→v A, x 7→ v`e1→v0
A`(fun x=e1)e2→v0SAdd A`e1→v1A`e2→v2
A`+e1e2→v1+v2
Type Systems
TInt A`n:int TVar x:t∈A
A`x:t
TFun A, x :t`e:t0
A`λx :t.e :t→t0TApp A`e1:t→t0A`e2:t
A`e1e2:t0
1
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Guidelines and tips
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Operational Semantics and Type Systems: Understanding Functional Programming, Study notes of Programming Languages
The operational semantics and type systems rules for the sint and typeint systems. It covers the basics of variable assignment, function definition, and function application using examples. This information is essential for anyone studying functional programming, especially those interested in the operational aspects of programming languages.
Typology: Study notes
Pre 2010
1 / 1
This page cannot be seen from the preview
Don't miss anything!
Related documents
Partial preview of the text
Download Operational Semantics and Type Systems: Understanding Functional Programming and more Study notes Programming Languages in PDF only on Docsity!
Operational Semantics
SInt A ` n → n
SVar x^7 →^ v^ ∈^ A A ` x → v
SFun
A e 2 → v A, x 7 → v e 1 → v′ A ` (fun x = e 1 ) e 2 → v′^
SAdd
A e 1 → v 1 A e 2 → v 2 A ` + e 1 e 2 → v 1 + v 2
Type Systems
TInt A ` n : int
TVar x^ :^ t^ ∈^ A A ` x : t
TFun
A, x : t e : t′ A λx : t.e : t → t′^
TApp
A e 1 : t → t′^ A e 2 : t A ` e 1 e 2 : t′