https://kotlinlang.org logo
#random
Title
# random
g

gabrielfv

07/19/2018, 10:09 PM
I've been diving deeper in the theory surrounding programming languages and software engineering principles, and I'm seeing a lot of modern mathematics everywhere. Does anyone know any resource so I can develop some background in order to grasp papers like the one from Liskov where she introduces the substitution principle?