His research interests include programming theory, tools for developing correct programs, language design, compiler design, and tools for teaching programming. He has been using Java since 1997 ...

Lambda expressions are the biggest features integrated into Java 8. This functional programming paradigm was, until now, missing from Java. Its inclusion now will only help Java grow in the right ...