From 92ca891a810920fce8ea5ef04ac8abe30bb4dee6 Mon Sep 17 00:00:00 2001 From: Sarah Withee <2601974+geekygirlsarah@users.noreply.github.com> Date: Tue, 13 Aug 2024 15:22:43 -0400 Subject: [PATCH] Remove Danielle --- speakers.md | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/speakers.md b/speakers.md index c7e0805..d83cb6e 100644 --- a/speakers.md +++ b/speakers.md @@ -120,21 +120,6 @@ In the ELIZA effect, we temporarily read a natural language system as sentient. --- -### Danielle Marshall - - - -**Grading your Types? From Bangs to Boxes and Beyond!** - -Most programmers think of types as a tool to describe different kinds of value that might exist in our programs: integers, floating point numbers, and so on. These days, though, types help us to not only describe *what* our programs compute, but also *how* they compute: what side effects might a computation have? What resources does it use? Is it being accessed by someone who has the right permissions? - -In this talk, we'll explore how modern programming languages are using types in this exciting new way. We'll start with the idea of "linear types", which have been around for a long time but are only recently starting to be adopted for practical programming, and from there we'll move on to "graded types", a much newer idea; these go beyond linearity and let us express all kinds of interesting properties about our programs. We'll discuss these ideas both from the perspective of the Granule research language and also looking at how they are slowly making their way into the wider world of programming. - -**Danielle** is currently a research associate at the University of Glasgow, where she works on mailbox types for reliable and scalable communication. She recently submitted her PhD thesis at the University of Kent, which involved extending Granule's graded type system to capture global properties such as memory and communication safety. - ---- - ### Devon Tao