39 citations · 127 across the 31 of their papers we have counts for
8 papers · 1 filter
Practical Datatype Specializations with Phantom Types and Recursion Schemes
Matthew Fluet, Riccardo Pucella
Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of parti…
On the Expressive Power of First-Order Boolean Functions in PCF
Riccardo Pucella, Prakash Panangaden
Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By consi…
A Framework for Interoperability
Kathleen Fisher, Riccardo Pucella, John Reppy
Practical implementations of high-level languages must provide access to libraries and system services that have APIs specified in a low-level language (usually C). An important ch…
The Design of a COM-Oriented Module System
Riccardo Pucella
We present in this paper the preliminary design of a module system based on a notion of components such as they are found in COM. This module system is inspired from that of Standa…
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Riccardo Pucella, Erik Meijer, Dino Oliva
A useful programming language needs to support writing programs that take advantage of services and communication mechanisms supplied by the operating system. We examine the proble…
Reactive Programming in Standard ML
Riccardo Pucella
Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output events in re…