5 citations · 12 across the 14 of their papers we have counts for
5 papers · 1 filter
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…
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…
Higher-Order Concurrent Win32 Programming
Riccardo Pucella
We present a concurrent framework for Win32 programming based on Concurrent ML, a concurrent language with higher-order functions, static typing, lightweight threads and synchronou…
An Approach to the Implementation of Overlapping Rules in Standard ML
Riccardo Pucella
We describe an approach to programming rule-based systems in Standard ML, with a focus on so-called overlapping rules, that is rules that can still be active when other rules are f…