🎓🔬☕️

#FlexJa #programming language research #academic language #java extension #type theory

☕️↔️↕️

#FlexJa #variance #covariance #contravariance #java types #type flexibility

🤸‍♀️🔗⚙️

#FlexJa #structural typing #flexible linking #type system #language design

💪☕️💻

#FlexJa #flexible java #java variant #type system