You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (1823)

Journals (0)

1-10 of 1823 results for union types

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Towards a Logic for Union Types

Retricted access

Research article

First published 2012-12

Towards a Logic for Union Types

Yiorgos Stavrinos, Anastasia Veneti

Fundamenta Informaticae

Select article: Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Select article: The Duality of Classical Intersection and Union Types

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Select article: Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Select article: Union Type and Depressive Symptoms Among Mexican Adults

Retricted access

Research article

First published 2011-12

Union Type and Depressive Symptoms Among Mexican Adults

Kammi K. Schmeer, Rhiannon A. Kroeger

Journal of Family Issues

Select article: Strong Normalization in the π-calculus with Intersection and Union Types

Retricted access

Research article

First published 2012-12

Strong Normalization in the π-calculus with Intersection and Union Types

Mauro Piccolo

Fundamenta Informaticae

Select article: Effects of Union Type on Division of Household Labor

Retricted access

Research article

First published 2007-09

Effects of Union Type on Division of Household Labor

Shannon N. Davis, Theodore N. Greenstein, Jennifer P. Gerteisen Marks

Journal of Family Issues

Select article: Types of Union Members

Retricted access

Research article

First published 1974-06

Types of Union Members

Ruth Johnston

Journal of Industrial Relations

Select article: Tension Band Wiring versus Knowles Pinning for Non-Union of Type-2 Distal Clavicle Fractures

Free access

Research article

First published 2012-12

Tension Band Wiring versus Knowles Pinning for Non-Union of Type-2 Distal Clavicle Fractures

Chi-Chuan Wu

Journal of Orthopaedic Surgery

Select article: Relationship between the type of media consumption and political trust in the European Union: Evidence from the 94th Eurobarometer 2020/2021 Survey

Open access

Research article

First published 2024-9

Relationship between the type of media consumption and political trust in the European Union: Evidence from the 94th Eurobarometer 2020/2021 Survey

Ildar Daminov

Communication and the Public

1
2
3
•••
183
10 / page

Article type

Publication date

Subjects

Access