Agda

nome próprio feminino

mentions

First seen: há 4 mesesLast seen: há 15 dias

wikidata

Recent News5

wadler.blogspot.com·há 3 meses

Smaller, cheaper Plutus scripts with the UPLC command-line tool

If you want to see a use of Agda in real life, to provide certificates validating the correctness of compiler passes, check out this blog post from my colleague Ziyang Liu at Input Output. A simplifie

wadler.blogspot.com·há mais de 2 anos

Wadler's Blog: May 2024

I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in the scope of the BIG ERA Chair Project, titled “(Programming Lan

wadler.blogspot.com·há mais de 2 anos

INESC-ID Distinguished Lecture, Lisbon

I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in...

wadler.blogspot.com·há mais de 5 anos

Wadler's Blog: December 2020

Brilliant! Spotted via Boing-Boing. Sue Fletcher-Watson describes her plan for A Year of Radical No's and follows up with Nine Months of Saying No – an update. Thanks to Vashti Galpin for the pointer

wadler.blogspot.com

Wadler's Blog: 2023

A short comic by Mike Dawson. Stick to the end for a valid point. A sensible proposal in The Atlantic from philosopher Daniel Dennett. Is anyone campaigning for a law or regulation to this effect? A

Related Entities

1Programming Languages17×
2Blockchain16×
3Iohk16×

Agda — Entidade | Buobe