A Typed Assembly Language for Confidentiality.

Dachuan Yu Nayeem Islam

Published in: ESOP (2006)

Keyphrases

lambda calculus
natural language
higher order
programming language
language processing
e learning
heterogeneous networks
printed circuit boards