Enumerating Well-Typed Terms Generically (2009)

by Alexey Rodriguez Yakushev , Johan Jeuring
Citations:1 - 0 self