Typed, Concise, Nanopass (pick 3) (Extended Abstract) (TyDe 2024)

Mon 2 - Sat 7 September 2024 Milan, Italy

Track

TyDe 2024

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 6 Sep 2024 16:00 - 16:22 at Orange 1 - Compilers and tooling

Abstract

Writing maintainable compilers is hard. You might want a typed compiler. You want a nanopass compiler. Your might want a concise compiler. But you can’t have all 3 at once – until you read this paper!

File attachments

(tyde24-final63.pdf)	153KiB

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30	Compilers and toolingTyDe at Orange 1 Session chair: Sandra Alves

16:00 22m Talk		Typed, Concise, Nanopass (pick 3) (Extended Abstract) TyDe Lawrence Chonavel Utrecht University File Attached
16:22 22m Talk		Term Search in Rust TyDe Philipp Joram Tallinn University of Technology, Tavo Annus Tallinn University of Technology
16:45 22m Talk		Towards Type-Directed API Search for Mainstream Languages TyDe Marc Etter OST Eastern Switzerland University of Applied Sciences, Farhad Mehta OST Eastern Switzerland University of Applied Sciences
17:07 22m Meeting		TyDe closing TyDe

Typed, Concise, Nanopass (pick 3) (Extended Abstract)

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Lawrence Chonavel

Utrecht University

Tracks

Workshops

Co-hosted Symposia

Typed, Concise, Nanopass (pick 3) (Extended Abstract)

Program Display Configuration

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Lawrence Chonavel

Utrecht University

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change