Type-Driven Semantics is a theoretical framework in formal semantics that integrates syntactic types with compositional interpretation rules to systematically determine truth conditions through type-indexed semantic valuation functions.
61
Publications
3.2K
Citations
120
Authors
77
Institutions
Publications per year
2017–2026
11
Publications
61
Marilyn Walker, Diane Litman, Candace Kamm et al. · 1997 · 538 citations
Jeffrey S. Foster, Manuel Fähndrich, Alex Aiken · 1999 · 263 citations · Full text
Extracting schema from semistructured data
Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwani · 1998 · 224 citations
Marilyn Walker, Diane Litman, Candace Kamm et al. · 1997 · 132 citations · Full text
1–5 of 61
Authors
120
- PW
3
h-index
- GS
2
h-index
- DL
2
h-index
- CK
2
h-index
- MW
2
h-index
1–5 of 120
Institutions
77
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
7 h-index
9 publications
429 citations
University of Cambridge
Cambridge, United Kingdom
4 h-index
7 publications
179 citations
Northeastern University
Boston, United States
3 h-index
3 publications
214 citations
Stanford University
Stanford, United States
3 h-index
5 publications
628 citations
Microsoft (United States)
Redmond, United States
3 h-index
4 publications
178 citations
Michigan State University
East Lansing, United States
2 h-index
2 publications
29 citations
Alcatel Lucent (Germany)
Stuttgart, Germany
2 h-index
2 publications
134 citations
National University of Singapore
Singapore, Singapore
2 h-index
3 publications
48 citations
1–8 of 77
Venues
- ACM SIGPLAN Notices
5 publications · 105 citations
5
h-index
- Journal of Semantics
2 publications · 49 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 28 citations
2
h-index
- ACM Transactions on Programming Languages and Systems
2 publications · 30 citations
2
h-index
- Information and Computation
1 publications · 110 citations
1
h-index
1–5