An experimental development of session types + dependent types
An experimental development of session types with dependently typed data