10622 search results - page 542 / 2125 » Python Programming Language |
177
click to vote
PADL
2004
Springer
16 years 17 days ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
154
click to vote
PPPJ
2003
ACM
16 years 14 days ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
206
click to vote
ASM
2003
ASM
16 years 14 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
197
click to vote
ESOP
1992
Springer
15 years 11 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
182
click to vote
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...