References in zbMATH (referenced in 794 articles , 3 standard articles )

1. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
2. Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
3. Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
4. Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
5. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
6. Lochbihler, Andreas: Effect polymorphism in higher-order logic (proof pearl) (2019)
7. McIver, A. K.; Morgan, C. C.; Rabehaja, T.: Program algebra for quantitative information flow (2019)
8. Odabaş, Alper; Soylu Yilmaz, Elis: Relationships between category theory and functional programming with an application (2019)
9. Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Jo\H{a}o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander: A survey of challenges for runtime verification from advanced application domains (beyond software) (2019)
10. Schrijvers, Tom; Oliveira, Bruno C. D. S.; Wadler, Philip; Marntirosian, Koar: COCHIS: stable and coherent implicits (2019)
11. van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil: Executable component-based semantics (2019)
12. Abdallah, Samer: PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (2018)
13. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
14. Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob: Mixin composition synthesis based on intersection types (2018)
15. Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian: Unguarded recursion on coinductive resumptions (2018)
16. Haller, Philipp; Miller, Heather; Müller, Normen: A programming model and foundation for lineage-based distributed computation (2018)
17. Hanus, Michael: Semantic versioning checking in a declarative package manager (2018)
18. Ishii, Hiromi: A purely functional computer algebra system embedded in Haskell (2018)
19. Joudrier, Hugo; Thiard, Florence: A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014 (2018)
20. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (2018)