Sciweavers

699 search results - page 3 / 140
» Strong types for relational databases
Sort
View
ESWS
2008
Springer
13 years 5 months ago
Wikipedia Link Structure and Text Mining for Semantic Relation Extraction
Abstract. Wikipedia, a collaborative Wiki-based encyclopedia, has become a huge phenomenon among Internet users. It covers huge number of concepts of various fields such as Arts, G...
Kotaro Nakayama, Takahiro Hara, Shojiro Nishio
MSCS
2008
97views more  MSCS 2008»
13 years 3 months ago
Logical relations for monadic types
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...
CORR
2011
Springer
173views Education» more  CORR 2011»
12 years 10 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi
LICS
2007
IEEE
13 years 10 months ago
Strong Normalization as Safe Interaction
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
Colin Riba