596 search results - page 91 / 120 » Subtyping Recursive Types |
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
117
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
CORR
2000
Springer
15 years 1 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
143
click to vote
TOPLAS
2002
15 years 29 days ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
219
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...