Searching for authors named "Bruno Pagano" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Functional Back-Ends within the Lambda-Sigma Calculus
- … Functional Back-Ends within the Lambda-Sigma Calculus Th'er`ese Hardin, Luc Maranget, Bruno Pagano N 3034…
- Add To MetaCart
-
Functional Back-Ends within the Lambda-Sigma Calculus
- … and Bruno Pagano y Abstract We dene a weak -calculus, w , as a subsystem of the full -calculus…
- Cited by 18 (0 self) – Add To MetaCart
-
Types behind the mirror: a proposal for partial ML type reconstruction at runtime
- … Chailloux Pascal Manoury Bruno Pagano University of Paris VI, 4, place Jussieu, 75005 Paris, France fEmmanuel.Chailloux,Pascal.Manoury,Bruno…
- Cited by 1 (0 self) – Add To MetaCart
-
A Conservative Extension of Synchronous Data-flow with State Machines
- …, USA. Copyright 2005 ACM 1-59593-091-4/05/0009 ...$5.00. Bruno Pagano Esterel-Technologies France Marc…
- Cited by 13 (3 self) – Add To MetaCart
Showing 1 through 4.
