This should keep you busy.
NJPLS:
The next NJPLS will be on Friday April 9 at Stevens Institute of
Technology. If you would like to present a cool idea to the NJPLS
community, please send me your talk request by March 17. Please send me
an email with your talk title and abstract. All topics in programming
languages and [...]
University of Oregon is hosting another Oregon Programming Languages Summer School this June. This year’s topic is Logic, Languages, Compilation, and Verification:
Everyday life and critical aspects of our economy, defense, and government depend on software, and software, in turn, depends on high-level programming languages and their efficient implementations. Ever since Fortran and its automatic [...]
The current issue of CACM has an article on type theory:
When the philosopher Bertrand Russell invented type theory at the beginning of the 20th century, he could hardly have imagined that his solution to a simple logic paradox—defining the set of all sets not in themselves—would one day shape the trajectory of 21st century computer [...]