Research output per year
Research output per year
Research output
- 39 results
Search results
-
2022
Modal FRP for all: Functional reactive programming without space leaks in Haskell
Bahr, P., 26 Dec 2022, In: Journal of Functional Programming. 32, e15.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2021
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
2020
Calculating Correct Compilers II: Return of the Register Machines
Bahr, P. & Hutton, G., 20 Aug 2020, In: Journal of Functional Programming. 30, e25.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., Apr 2020, In: Mathematical Structures in Computer Science. 30, 4, p. 342-378Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 17:1–17:31 31 p., 6278.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2019
Modal dependent type theory and dependent right adjoints
Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In: Mathematical Structures in Computer Science. 21 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2018
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Convergence in infinitary term graph rewriting systems is simple
Bahr, P., 9 Aug 2018, In: Mathematical Structures in Computer Science. p. 1-52Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Denotational semantics of recursive types in synthetic guarded domain theory
Møgelberg, R. E. & Paviotti, M., 15 May 2018, In: Mathematical Structures in Computer Science. 46 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
On the boundary between decidability and undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In: Theoretical Computer Science. 722, p. 19-51 33 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2017
Compiling a 50-year journey
Hutton, G. & Bahr, P., 20 Sept 2017, In: Journal of Functional Programming. 27, 11 p., 20.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain
Bahr, P. & Axelsson, E., 4 Apr 2017, In: Science of Computer Programming. 137, p. 63-97Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Multiparty session types as coherence proofs
Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, T. T. & Slaats, T., 21 Sept 2017, In: Acta Informatica. p. 1-32 32 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
The Independence of Markov's Principle in Type Theory
Coquand, T. & Mannaa, B., 15 Aug 2017, In: Logical Methods in Computer Science. 13, 3, p. 1-28Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In: Information and Computation. 256, p. 300-320Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2016
Foundations of Session Types and Behavioural Contracts
Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P.-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, In: A C M Computing Surveys. 49, 1, p. 1 16 p., 3.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Multiparty Asynchronous Session Types
Honda, K., Yoshida, N. & Carbone, M., 2016, In: Journal of the ACM. 63, 1, p. 1 67 p., 9.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Psi-calculi in Isabelle
Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
2015
A model of guarded recursion with clock synchronisation
Bizjak, A. & Møgelberg, R. E., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 83-101Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
A Model of PCF in Guarded Type Theory
Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Cut elimination in multifocused linear logic
Guenot, N. & Brock-Nannestad, T., 2015, In: Electronic Proceedings in Theoretical Computer Science. EPTCS. 176, p. 24-33 10 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Declarative event based models of concurrency and refinement in psi-calculi
Normann, H., Johansen, C. & Hildebrandt, T., 2015, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2014
Declarative Modeling–An Academic Dream or the Future for BPM?
Reijers, H., Slaats, T. & Stahl, C., 2014, In: Lecture Notes in Computer Science. 8094, p. 307-322 16 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Linear usage of state
Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Preface
Cattani, G. L., Hildebrandt, T. & Varacca, D., 2014, In: Theoretical Computer Science. 546, p. 1-2 2 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research
-
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Verifying Voting Schemes
Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., Apr 2014, In: Journal of Information Security and Applications. 19, 2, p. 115-129Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2013
A verification environment for bigraphs
Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Big Red: A Development Environment for Bigraphs
Faithfull, A. J., Perrone, G. D. & Hildebrandt, T., 28 Sept 2013, In: E A S S T Electronic Communications. 61, 5 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs
Hildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, In: Journal of Logic and Algebraic Programming. 82, p. 164–185Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
Carbone, M. & Montesi, F., 2013, In: A C M / S I G P L A N Notices. 48, 1, p. 263-274Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Dynamic Newton-Puiseux Theorem
Mannaa, B. & Coquand, T., 24 Apr 2013, In: J. Log. Anal..Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
Intensional type theory with guarded recursive types qua fixed points on universes
Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2012
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Schwinghammer, J. & Støvring, K., 3 Oct 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Linear Logical Voting Protocols
DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Structured Communication-Centered Programming for Web Services
Carbone, M., Honda, K. & Yoshida, N., 2012, In: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File