Oct 27

Roblox and the Luau Programming Language

Name: Roblox and the Luau Programming Language
Start: 2023-10-27T15:00:00+0000
End: 2023-10-27T16:30:00+0000
Location: Dorsey Learning Hall

Hosted by IU Luddy School of Informatics, Computing, and Engineering

More Info

Event Details

Friday, October 27, 2023
3:00 PM - 4:30 PM

Dorsey Learning Hall
700 N Woodlawn Ave , Bloomington, IN 47408

Event Description

Roblox is a platform for shared 3D environments, scripted using the Luau programming language. In this talk, I will give an overview of Roblox, and what makes the needs of creators of Roblox experiences different from those of traditional software developers. I will discuss recent work on prototyping and mechanically verifying the Luau type system, and using techniques drawn from semantic subtyping to provide a constructive model of type errors.

Admission

Free