Sciweavers

966 search results - page 23 / 194
» Evaluation of Linguistics-Based Translation
Sort
View
FOSSACS
2012
Springer
13 years 9 months ago
Functions as Session-Typed Processes
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
Bernardo Toninho, Luís Caires, Frank Pfenni...