Showing 1 - 20 results of 169 for search '"computer science - programming languages"', query time: 1.41s Refine Results
  1. 1
    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation by Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

    Published 2021-03-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  2. 2
    Logical relations for coherence of effect subtyping

    Logical relations for coherence of effect subtyping by Dariusz Biernacki, Piotr Polesiuk

    Published 2018-01-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  3. 3
    Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

    Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation by Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

    Published 2017-09-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  4. 4
    Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types

    Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types by Luca Padovani

    Published 2015-12-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  5. 5
    Separating Sessions Smoothly

    Separating Sessions Smoothly by Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

    Published 2023-07-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  6. 6
    A Functional Abstraction of Typed Invocation Contexts

    A Functional Abstraction of Typed Invocation Contexts by Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

    Published 2022-09-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  7. 7
    Data optimizations for constraint automata

    Data optimizations for constraint automata by Sung-Shik T. Q. Jongmans, Farhad Arbab

    Published 2017-04-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  8. 8
    Linear usage of state

    Linear usage of state by Rasmus Ejlers Møgelberg, Sam Staton

    Published 2014-03-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  9. 9
    Galois connecting call-by-value and call-by-name

    Galois connecting call-by-value and call-by-name by Dylan McDermott, Alan Mycroft

    Published 2024-02-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  10. 10
    Call-by-name Gradual Type Theory

    Call-by-name Gradual Type Theory by Max S. New, Daniel R. Licata

    Published 2020-01-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  11. 11
    Contextual equivalence for higher-order pi-calculus revisited

    Contextual equivalence for higher-order pi-calculus revisited by Alan Jeffrey, Julian Rathke

    Published 2005-04-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  12. 12
    Multiactive objects and their applications

    Multiactive objects and their applications by Ludovic Henrio, Justine Rochas

    Published 2017-11-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  13. 13
    Modular session types for objects

    Modular session types for objects by Simon J. Gay, Nils Gesbert, António Ravara, Vasco T. Vasconcelos

    Published 2015-12-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  14. 14
    Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

    Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages by Sebastian Ullrich, Leonardo de Moura

    Published 2022-04-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  15. 15
    Modular, Fully-abstract Compilation by Approximate Back-translation

    Modular, Fully-abstract Compilation by Approximate Back-translation by Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

    Published 2017-10-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  16. 16
    Automated Verification of Practical Garbage Collectors

    Automated Verification of Practical Garbage Collectors by Chris Hawblitzel, Erez Petrank

    Published 2010-08-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  17. 17
    Prioritise the Best Variation

    Prioritise the Best Variation by Wen Kokke, Ornela Dardha

    Published 2023-12-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  18. 18
    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) by Giuseppe Castagna

    Published 2022-02-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  19. 19
    Robustness Against Transactional Causal Consistency

    Robustness Against Transactional Causal Consistency by Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

    Published 2021-02-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  20. 20
    Faithful (meta-)encodings of programmable strategies into term rewriting systems

    Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau

    Published 2017-11-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article

Search Tools: