The Wyvern Programming Language
Sophia Roshal
Powered by w3.css
Alex completed his PhD in 2006 on Generic Ownership - showing how type polymorphism can be used to provide ownership type support in any language, such as the modern-day Rust Programming Language that popularised this approach. Alex went on to show deep connections between ownership and immutability with the help of the Royal Society of New Zealand Marsden Funding in 2008 - 2011 with a book chapter on Immutability outlining all the core outcomes of this novel approach.
After a full-year sabbatical at what was then the Institute for Software Research at Carnegie Mellon University working with Professor Jonathan Aldrich, Alex created a novel general-purpose Wyvern Programming Language designed from the ground up with security and usability as its primary goals. There were a large number of students and publications that came out of that project over the following decade including novel ideas for type-specific languages and decidable typing for type members - some of which a
The Wyvern Programming Language
Sophia Roshal