917 search results - page 102 / 184 » On the Semantics of Updates in a Functional Language |
169
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
132
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
148
click to vote
HASKELL
2005
ACM
15 years 11 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
158
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
168
click to vote
ENTCS
2006
15 years 5 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...