E)TiML: A Functional Language for Practical Complexity Analysis

Speaker(s)

Marcin Benke

Affiliation

MIMUW

Date

Dec. 3, 2021, 12:15 p.m.

Room

room 5820

Title in Polish

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

TiML is a variant of ML whose types contain resource bounds, designed by Peng Wang as his PhD thesis on MIT. When a TiML program passes the typechecking, upper bounds on its resource usage can be guaranteed.

One interesting application (or rather extension) of this language is using it for Ethereum smart contract programming, where the resource bounds apply to gas usage, which is a critical issue.

The talk will also a brief introduction to Ethereum, EVM and gas, as well as a discussion of the (functional) programming for Ethereum landscape.

You can join the meeting under the Zoom link: https://us02web.zoom.us/j/83143002443?pwd=dnlSQ05pVjB3L3cwSUkzOEVOTnJVUT09

---