Consequently, advances in programming language design are an important factor in solutions of the software composition problem. This is what we work on in our group. Pizza , a more elaborate extension of Java with genericity, higher-order functions, and algebraic types. An extensible compiler for Java, which helps us quickly prototype new extensions of Java. Functional Nets , a uniform foundation for programming and program composition based on join-calculus .
Funnel is a programming language based on functional nets.