"typed" -
key terms from Wikipedia
dash
can
be
typed
dynamically
typed
languages
manifestly
typed
statically
typed
statically
typed
languages
strongly
typed
typed
typed
lambda
calculi
typed
languages
typed
notes
typed
on
the
numeric
keypad
typed
zero