programming language, compiler, type system, program analysis
Short description of portfolio item number 1
Short description of portfolio item number 2
