Searching for "Theoretical Pearls." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
THEORETICAL PEARLS - CPS in Little Pieces: Composing Partial Continuations
- … THEORET I CAL PEARLS CPS in Little Pieces: Composing Partial Continuations Daniel P. Friedman y Amr…
- Add To MetaCart
-
Applications of Plotkin-terms: partitions and morphisms for closed terms
- …Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS…
- Add To MetaCart
-
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
- …Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS Lambda…
- Add To MetaCart
-
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
- …Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS Lambda…
- Add To MetaCart
-
Type-checking Injective Pure Type Systems
- … the European TMR programme. Theoretical pearls 3 2 Pure Type Systems In this section, we present the basics…
- Cited by 3 (1 self) – Add To MetaCart
-
CPS in Little Pieces: Composing Partial Continuations
- … THEORET I CAL PEARLS CPS in Little Pieces: Composing Partial Continuations Daniel P. Friedman y Amr…
- Add To MetaCart
-
Type-safe cast does no harm: Syntactic parametricity for Fω and beyond
- … Theoretical pearl 3 Fig. 1: cast gcast :: forall a b c. R a -> R b -> Maybe (c a -> c b) gcast Rint Rint…
- Cited by 1 (0 self) – Add To MetaCart
-
A Bargain for Intersection Types: A Simple Strong Normalization Proof
- …Under consideration for publication in J. Functional Programming 1 THEORETICAL PEARL A Bargain…
- Add To MetaCart
-
Single-Chain Properties of Polyelectrolytes in Poor Solvent
- …. Some aspects of the theoretical pearl-necklace picture have been confirmed by simulations using…
- Add To MetaCart
Showing 1 through 9.
