A Type-directed Operational Semantics For A Calculus With A Merge Operator

2021 14:44
Synopsis
Hi, this is Xuejing @hxjxsnow, PhD student at HKU. My supervisor is Bruno C. d. S. Oliveira. Our ECOOP'20 paper is on ...

You Might Also Like

Type Directed Operational Semantics for Gradual Typing 13:07
Type Directed Operational Semantics For Gradual Typing
2022
Operational Semantics - Part 4 7:22
Operational Semantics - Part 4
2021
Operational Semantics - Part 2 14:36
Operational Semantics - Part 2
2021
Operational Semantics - Part 3 12:31
Operational Semantics - Part 3
2021
Operational Semantics - Part 1 4:33
Operational Semantics - Part 1
2021
The Abstract World of Operational Calculus 14:01
The Abstract World Of Operational Calculus
2023
Intro to Type Systems and Operational Semantics - Andres Löh | ZuriHac 2022 2:50:27
...
2023
CS6225 Programs and Proofs 26 Operational Semantics 52:41
Cs6225 Programs And Proofs 26 Operational Semantics
2023
PLP 4.3 part 1: Dynamic Semantics for Simple Expressions 18:17
Plp 4.3 Part 1: Dynamic Semantics For Simple Expressions
2026
HowtoBuildAbsInterpreter4ProgLangPart1LecApr8 1:22:14
Howtobuildabsinterpreter4proglangpart1lecapr8
2023
Interactive Formal Verification, Lecture 10: Operational Semantics 44:57
Interactive Formal Verification, Lecture 10: Operational Sem...
2024
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.