Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early detection ...

Session types have emerged as a rigorous formalism for specifying and verifying communication protocols in concurrent systems. They provide a structured approach to ensuring that interactions among ...

Find out quite how strange programming can get, from languages full of brackets, to those that interpret color or even code you cannot see at all! Lisp, in which everything is a list Lisp is an old ...

At a Computer Science Education Seminar talk Thursday, C++ creator Bjarne Stroustrup shared his thoughts on the role of C++ and what needs fixing in programming education. C++, a programming language ...

Newer languages might soak up all the glory, but these die-hard languages have their place. Here are eight languages ...