C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation.
Daniel Fridlender
Miguel Pagano
Published in:
TLCA (2013)
Keyphrases
</>
preprocessing
database
data streams
database management systems
tree structure
type checking