Writing a formal semantics for Swift

[phlegmaticprogrammer (Steven Obua)]

I jumped into this thread for purposes of abstract classes discussion