1999 search results - page 25 / 400 » Dependently Typed Grammars |
116
click to vote
MCU
2001
15 years 3 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
121
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
158
Voted
INLG
2010
Springer
14 years 11 months ago
2010
Springer
We present a framework for reformulating sentences by applying transfer rules on a typed dependency representation. We specify a list of operations that the framework needs to sup...