Sexual Satisfaction in Young Adulthood: Cohabitation, Committed Dating or Unattached Life?

Autor: Pedersen, Willy, Blekesaune, Morten

Publikováno v: Acta Sociologica, 2003 Sep 01. 46(3), 179-193.

Externí odkaz: https://www.jstor.org/stable/4194982

Gradual Typing Using Union Typing With Records

Autor: Jorge L. Ortega-Arjona, Lourdes del Carmen González Huesca, Karla Ramírez Pulido

Publikováno v: LANMR

Dynamic typed languages are characterized by their expressiveness and flexibility to develop prototypes, while static typed languages allow early detection of errors and the optimization of source code. Gradual typing languages allow programmers to m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7a7b342821962bee487d9d63452fae80
https://doi.org/10.1016/j.entcs.2020.10.013

On Type-Cases, Union Elimination, and Occurrence Typing

Autor: Giuseppe Castagna, Matthew Lutze, Kim Nguyen, Mickaël Laurent

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
Proceedings of the ACM on Programming Languages, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩

We extend classic union and intersection type systems with a type-case construction and show that the combination of the union elimination rule of the former and the typing rules for type-cases of our extension encompasses occurrence typing . To appl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d6d0123aac00b349d32fabd39fb9442
https://hal.archives-ouvertes.fr/hal-03426711/file/main.pdf

The Duality of Classical Intersection and Union Types

Autor: Paul Downen, Zena M. Ariola, Silvia Ghilezan

Publikováno v: Fundamenta Informaticae. 170:39-92

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::55a9ec60b09a72e44a55eaca4275569f
https://doi.org/10.3233/fi-2019-1855

Consuming and Persistent Types for Classical Logic

Autor: Delia Kesner, Pierre Vial

Publikováno v: LICS

We prove that type systems are able to capture exact measures related to dynamic properties of functional programs with control operators, which allow implementing intricate continuations and backtracking. Our type systems give the number of evaluati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1be510b5a9bbe8397e2f3191f1126c5c
https://doi.org/10.1145/3373718.3394774