First, I'm not sure if this is specific enough, but I can't seem to find the answer in other answers nor in a Google search. I'll add any specifics that might be needed.
Some background; I have a BS in CS (2005) and the past few years have found my interests moving towards PLT. Partially as a point of a new challenge in an area I do not currently understand as well. So, I would like to begin to go down this new rabbit hole head first.
My question is what might be the best path to start? I initially thought about an MS in CS, but that didn't work initially due to the curriculum structure (not working friendly). I might be able to swing it now, but have already begun to question if I might benefit from more of an Applied Math degree? In the meantime, I am going to read Type and Programming Languages as it seems to be THE go-to book.
So, to reiterate more clearly: What is the best path to learning PLT? If there is not a BEST, then what are the optional paths so that I can at least have a place to begin researching what works for me?
Aucun commentaire:
Enregistrer un commentaire