18429 search results - page 186 / 3686 » Typing dynamic typing |
184
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
179
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
288
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
179
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured query languages or XML data schemas, the ambigui...
165
click to vote
HASKELL
2006
ACM
16 years 6 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...