Login / Signup
Well-Typed Languages are Sound.
Matteo Cimini
Dale Miller
Jeremy G. Siek
Published in:
CoRR (2016)
Keyphrases
</>
higher order
expressive power
language independent
multi lingual
lambda calculus
real time
linguistic resources
object oriented languages
syntactic and semantic dependencies
database
data sets
object oriented
cross lingual
text summarization
description languages