14 search results - page 1 / 3 » Full abstraction for nominal general references |
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
FOSSACS
2009
Springer
14 years 7 days ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
EICS
2009
ACM
13 years 12 months ago
2009
ACM
Discovering and unlocking the full potential of complex pervasive environments is still approached in application-centric ways. A set of statically deployed applications often de...
ICS
2010
Tsinghua U.
13 years 10 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
WALCOM
2010
IEEE
14 years 12 days ago
2010
IEEE
Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...