Shawn Otis

According to our database, Shawn Otis authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

LINCX: A Linear Logical Framework with First-Class Contexts.

Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka

Proceedings of the Programming Languages and Systems, 2017