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 (18714)

Journals (0)

1-10 of 18714 results for dependent types

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Modeling Contexts with Dependent Types

Retricted access

Research article

First published 2010-10

Modeling Contexts with Dependent Types

Richard Dapoigny, Patrick Barlatier

Fundamenta Informaticae

Select article: Call-type dependence in multiskill call centers

Retricted access

Research article

First published 2013-6

Call-type dependence in multiskill call centers

Amel Jaoua, Pierre L’Ecuyer, Louis Delorme

SIMULATION

Select article: Automation for Dependently Typed Functional Programming

Retricted access

Research article

First published 2010-8

Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

Fundamenta Informaticae

Select article: A permission-dependent type system for secure information flow analysis

Retricted access

Research article

First published 2021-3-29

A permission-dependent type system for secure information flow analysis

Zhiwu Xu, Hongxu Chen, Alwen Tiu [...]

Journal of Computer Security

Select article: Doubly robust weighted log-rank tests and Renyi-type tests under non-random treatment assignment and dependent censoring

Retricted access

Research article

First published 2019-9

Doubly robust weighted log-rank tests and Renyi-type tests under non-random treatment assignment and dependent censoring

Chenxi Li

Statistical Methods in Medical Research

Select article: A Tutorial Implementation of a Dependently Typed Lambda Calculus

Retricted access

Research article

First published 2010-8

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Andres Löh, Conor McBride, Wouter Swierstra

Fundamenta Informaticae

Select article: Computational analysis of memory-dependent nonlocal response due to ramp-type heating under thermomass thermoelasticity theory

Retricted access

Research article

First published 2026-2

Computational analysis of memory-dependent nonlocal response due to ramp-type heating under thermomass thermoelasticity theory

Abhik Sur, Sudip Mondal

Mathematics and Mechanics of Solids

Select article: Deformability of leucocyte subpopulations in Type I (insulin-dependent) and Type II (non-insulin-dependent) diabetic patients

Retricted access

Research article

First published 1994-8

Deformability of leucocyte subpopulations in Type I (insulin-dependent) and Type II (non-insulin-dependent) diabetic patients

S.M. MacRury, S.E. Lennie, K.R. Paterson [...]

Clinical Hemorheology and Microcirculation

Select article: The Connections Between Substance Dependence,Offense Type,and Offense Severity

Retricted access

Research article

First published 2014-7

The Connections Between Substance Dependence,Offense Type,and Offense Severity

Albert M. Kopak, Lisa Vartanian, Norman G. Hoffmann [...]

Journal of Drug Issues

Select article: Effects of Field Dependence-Independence on Size and Type of Visuals

Retricted access

Research article

First published 1985-12

Effects of Field Dependence-Independence on Size and Type of Visuals

David M. Moore

Journal of Educational Technology Systems

1
2
3
•••
1872
10 / page

Article type

Publication date

Subjects

Access