Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia



(E)TiML: A Functional Language for Practical Complexity Analysis (for Ethereum)

Prelegent: Marcin Benke

2021-12-03 12:15

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: