435 citations · 840 across the 65 of their papers we have counts for
6 papers · 1 filter
Implementing distributed λ-calculus interpreter
Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
This paper describes how one can implement distributed λ-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is int…
Microservices: a Language-based Approach
Claudio Guidi, Ivan Lanese, Manuel Mazzara +1
Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently d…
Verified type checker for Jolie programming language
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina +1
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-t…
Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view
Manuel Mazzara
Interoperability is the ability of a programming language to work with systems based on different languages and paradigms. These days, many widely used high-level language impement…
Jolie Community on the Rise
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara +3
Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well…
Data-driven Workflows for Microservices
Larisa Safina, Manuel Mazzara, Fabrizio Montesi
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Jolie is a programming language based on the microservi…