Explore the semantics of plurals in software languages through this 41-minute ACM SIGPLAN conference talk. Delve into bunch theory and its application in expression languages, examining how bunches with set semantics can bridge the gap between relational modeling and functional programming. Investigate the integration of relations into expression languages, and understand the implications for computing with plurals. Cover topics including plural semantics in English and formal languages, relational data modeling, bunch logic, and invertible functions.
Overview
Syllabus
Intro
Semantics of plurals in English
Semantics of plurals in formal language
Plurals in relational data modelling
Plurals in programming: declaration
Plurals in mathematics: occurrences
Plurals in mathematics: non-occurrences
Bunch theory
Bunches are plurals
Bunch logic
Invertible functions (or reversible mappings)
Taught by
ACM SIGPLAN
