YoVDO

The Semantics of Plurals in Expression Languages - SLE

Offered By: ACM SIGPLAN via YouTube

Tags

Semantics Courses Programming Languages Courses Logic Courses Set Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

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

Related Courses

Programming Languages
University of Virginia via Udacity
Compilers
Stanford University via Coursera
Programming Languages, Part A
University of Washington via Coursera
CSCI 1730 - Introduction to Programming Languages
Brown University via Independent
Intro to Java Programming
San Jose State University via Udacity