Search alternatives:
"lexicographers" » "lexicography", "lexicographic"

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Candidates -- Lexicographic Path Induction -- Parametricity for Haskell with Imprecise Error Semantics...