Wyvern

Paradigms	object-oriented programming, functional programming
Typing discipline	structural typing
First appeared	2013
Type	programming language
License	GNU General Public License, version 2.0
Website	cs.cmu.edu