Palestra do Prof. Philip Wadler - DIMAp/CCET - 22/06/2022

Bom dia, colegas

Informamos que amanhã, dia 22/06/2022, será realizada a palestra do Prof. Philip Wadler, a partir das 15h, Anfiteatro A do CCET.

O professor Philip Wadler é um dos pesquisadores mais influentes da Ciência da Computação, em particular, na área de Linguagens de Programação, tendo um h-index de 71, com 25737 citações, segundo o Google Scholar. Dentre as suas contribuições, podemos destacar o seu papel como projetista principal da linguagem de programação funcional Haskell. Uma descrição mais completa sobre sua atuação pode ser obtida em https://homepages.inf.ed.ac.uk/wadler/bio.html.

Título: Interpreters for Free

Local e Data: quarta, 22 de junho, 15h, no Anfiteatro A do CCET (https://www.google.com/maps/place/Anfiteatro+CCET/@-5.8414737,-35.2015445,17z/data=!3m1!4b1!4m5!3m4!1s0x7b2ff761be5a861:0xcb40098df9b49e5e!8m2!3d-5.8413784!4d-35.1993536)

Resumo: In a proof assistant based on intuitionistic logic, a standard proof of type soundness automatically yields an interpreter for the corresponding language. This fact is obvious in retrospect, but there is evidence it was not obvious in prospect. The talk describes applications in the textbook Programming Language Foundations in Agda and to the Cardano blockchain. In connection with the latter, we explain why and how Reynolds's and Girard's System F, from the 1970s, is used to encode smart contracts that manipulate billions of dollars worth of assets: if you want a system that will still be running in fifty years, use one that is fifty years old!