Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2019

2019

A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity… Expand

Is this relevant?

2018

2018

The ν3 C-H stretching region of methane was reinvestigated in this work using high temperature (620-1715 K) emission spectra… Expand

Is this relevant?

2016

2016

For a small quantaloid $\mathcal{Q}$ we consider four fundamental 2-monads $\mathbb{T}$ on $\mathcal{Q}\text{-}{\bf Cat}$, given… Expand

Is this relevant?

2012

2012

Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain… Expand

Is this relevant?

2002

2002

In this chapter we explain constructive methods for computing the cohomology of a sheaf on a projective variety. We also give a… Expand

Is this relevant?

1996

1996

A number of compilers exploit the following strategy: translate a term to continuation-passing style (CPS) and optimize the… Expand

Is this relevant?

1996

1996

A number of compilers exploit the following strategy: translate a term to continuation-passing style (CPS) and optimize the… Expand

Is this relevant?

1995

1995

Information stored in databases is usually incomplete. Typical sources of partiality are missing information, conflicts that… Expand

Is this relevant?

Highly Cited

1993

Highly Cited

1993

This paper describes a flexible type system which combines overloading and higher-order polymorphism in an implicitly typed… Expand

Is this relevant?

1991

1991

Computational monads offer a powerful way to parameterize functional specifications, but they give rise to exceedingly tedious… Expand

Is this relevant?