Resources

Here are some basic information about our project – xWIDL.

• Paper(dl.acm.org, pre-print)
• Source code
  • xWIDL core module in Haskell
  • Customized TAJS
  • Client-Server Interface Definitions
  • Dafny Interface
• Poster