type-safety - deuce STM 类型安全吗？

Question

我已经为pi calculus编写了一个JAVA库，它利用Deuce STM来管理并发进程。 我进一步希望证明我的库的类型安全。 Deuce STM 库类型安全吗？如果是，将不胜感激一些相同的链接。