30:11

[ST30] A silent semantics for isorecursive session types

ACM SIGPLAN

29:45

[ST30] Mechanising Multiparty Session Types: A Sound and Complete Projection

ACM SIGPLAN

31:13

[ST30] The Concurrent Calculi Formalisation Benchmark

ACM SIGPLAN

1:26:38

[ST30] Beyond Types for Dyadic Interaction

ACM SIGPLAN

29:46

[ST30] Complete Multiparty Session Type Projection with Automata

ACM SIGPLAN

28:59

[ST30] Multiparty Reactive Sessions

ACM SIGPLAN

32:24

[ST30] The Expressiveness of Session Types

ACM SIGPLAN

30:20

[ST30] What we learned from writing a book about session types

ACM SIGPLAN

30:42

[ST30] So what's the difference between a session type and an ordinary type anyway?

ACM SIGPLAN

22:35

[ST30] Behavioural up/down casting for statically typed languages

ACM SIGPLAN

32:16

[ST30] Session-Based Typechecking for Elixir Modules Using ElixirST

ACM SIGPLAN

34:34

[ST30] Asynchronous and Synchronous Mixed Sessions

ACM SIGPLAN

36:31

[ST30] Classical Processes in modern dress

ACM SIGPLAN

31:59

[ST30] Benchmarks for Multiparty Session Types

ACM SIGPLAN

29:24

[ST30] Towards Session-Typed Consensus

ACM SIGPLAN

36:32

[ST30] Using Event Structures to model Multiparty Session Types: results and open problems

ACM SIGPLAN

1:17:40

[ST30] Future Directions for Session Types

ACM SIGPLAN