BAM Weblog

Roy - Type System Documentation

Brian McKenna — 2012-01-15

This week I wrote some simple documentation about Roy’s type system.

I’m going to write about functions in the next chapter.

Please enable JavaScript to view the comments powered by Disqus.

I am Brian McKenna, principal engineer at Atlassian.

My interests cross:

  • Programming languages
  • Functional programming
  • Type theory
  • Logic
  • Web applications

You can find me on Mastodon.