Login / Signup
Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
Tiago Cogumbreiro
Francisco Martins
Vasco Thudichum Vasconcelos
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
lambda calculus
programming language
formal language
higher order
language learning
database query languages
relational calculus
expressive power
representation language
data sets
language processing
general purpose
relational algebra
software engineering
query language
type checking
natural language
neural network