Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(2040)
Frank Pfenning
17
Robert Harper
14
Juan Chen
13
Cormac Flanagan
13
Andreas Abel
12
Conferences
(250)
POPL
45
ICSE
16
LICS
16
OOPSLA
16
ECOOP
14
Journals
(116)
SIGPLAN
132
ENTCS
43
CORR
20
SCP
18
TOPLAS
16
Keywords
(228)
Subscribe
Academic
Keywords
Type Checking
,Type Checking,Type checked,type check,type checks,types checks
Type Checking
Publications: 1,521
|
Citation Count: 26,613
Stemming Variations:
Type checked, type check, type checks, types checks
Cumulative
Annual
Sort by:
Publications
(1521)
Configuration coverage in the analysis of large-scale system software
Reinhard Tartler
,
Daniel Lohmann
,
Christian Dietrich
,
Christoph Egger
,
Julio Sincero
Journal:
Operating Systems Review - SIGOPS
, pp. 10-14, 2012
Experience report: a do-it-yourself high-assurance compiler
Lee Pike
,
Nis Wegmann
,
Sebastian Niller
,
Alwyn Goodloe
Published in 2012.
Extending a general-purpose streaming system for XML
Mark Mendell
,
Howard Nasgaard
,
Eric Bouillet
,
Martin Hirzel
,
Buǧra Gedik
Published in 2012.
Programming with binders and indexed data-types
Andrew Cave
,
Brigitte Pientka
Journal:
Sigplan Notices - SIGPLAN
, pp. 413-424, 2012
Well-typed narrowing with extra variables in functional-logic programming
Francisco López-Fraguas
,
Enrique Martin-Martin
,
Juan Rodríguez-Hortalá
Published in 2012.