3 ms·More recent examples to check out were Spin (Modula-3), JX (Java), and House (Haskell).by nickpsecurity 7y agoMore recent examples to check out were Spin (Modula-3), JX (Java), and House (Haskell).