4386 search results - page 186 / 878 » A Tamper-Resistant Programming Language System |
121
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
129
click to vote
VL
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
115
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
124
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
264
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...