Cited By
View all- Shi RXi H(2013)A linear type system for multicore programming in ATSScience of Computer Programming10.1016/j.scico.2012.09.00578:8(1176-1192)Online publication date: 1-Aug-2013
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to choose a representation in the meta language, that is, the ...
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to choose a representation in the meta language, that is, the ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in