Search Results - "computer science - programming languages"

Refine Results
  1. 1

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

    Published in Logical Methods in Computer Science (2021-03-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  2. 2

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

    Published in Logical Methods in Computer Science (2018-01-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  3. 3

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

    Published in Logical Methods in Computer Science (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 by Luca Padovani

    Published in Logical Methods in Computer Science (2015-12-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  5. 5

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

    Published in Logical Methods in Computer Science (2023-07-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  6. 6

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

    Published in Logical Methods in Computer Science (2022-09-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  7. 7

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

    Published in Logical Methods in Computer Science (2017-04-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  8. 8

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

    Published in Logical Methods in Computer Science (2014-03-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  9. 9

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

    Published in Logical Methods in Computer Science (2024-02-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  10. 10

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

    Published in Logical Methods in Computer Science (2020-01-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  11. 11

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

    Published in Logical Methods in Computer Science (2005-04-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  12. 12

    Multiactive objects and their applications by Ludovic Henrio, Justine Rochas

    Published in Logical Methods in Computer Science (2017-11-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  13. 13

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

    Published in Logical Methods in Computer Science (2015-12-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  14. 14

    On the Semantic Expressiveness of Iso- and Equi-Recursive Types by Dominique Devriese, Eric Mark Martin, Marco Patrignani

    Published in Logical Methods in Computer Science (2024-11-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  15. 15

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

    Published in Logical Methods in Computer Science (2022-04-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  16. 16

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

    Published in Logical Methods in Computer Science (2017-10-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  17. 17

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

    Published in Logical Methods in Computer Science (2010-08-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  18. 18

    Prioritise the Best Variation by Wen Kokke, Ornela Dardha

    Published in Logical Methods in Computer Science (2023-12-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  19. 19

    A Calculus for Scoped Effects & Handlers by Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers

    Published in Logical Methods in Computer Science (2024-11-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


  20. 20

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

    Published in Logical Methods in Computer Science (2022-02-01)
    Subjects: “…computer science - programming languages…”
    Get full text
    Article


Search Tools: