Hacker News new | ask | show | jobs
by kylemccann 3391 days ago
Does anyone know where I could find out more about Semantics, Operational Semantics, Denotation semantics and Type Systems?