3001 search results - page 68 / 601 » Recursive type generativity |
190
click to vote
POPL
2007
ACM
16 years 6 days ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
ICFP
2007
ACM
15 years 12 months ago
2007
ACM
User-defined data types, pattern-matching, and recursion are ubiquitous features of Haskell programs. Sometimes a function is called with arguments that are statically known to be...
119
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
ICDIM
2008
IEEE
15 years 6 months ago
2008
IEEE
Sentence compression is the task of generating a grammatical short sentence from an original sentence, retaining important information. The existing methods of only removing the c...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...