Encoding Labeled and Optional Arguments in λ<: and λi+
Problem Session
We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis.
The University of Hong Kong