Author of the publication

Finite Domain Constraints in the ML Functional Language.

, , and . ICTAI, page 784-787. IEEE Computer Society, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Static typing & JavaScript libraries: towards a more considerate relationship., , and . WWW (Companion Volume), page 15-18. International World Wide Web Conferences Steering Committee / ACM, (2013)A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.. IWMM, volume 637 of Lecture Notes in Computer Science, page 218-229. Springer, (1992)A Portable Implementation for Objective Caml Flight., and . Parallel Process. Lett., 13 (3): 425-436 (2003)Accelerating OCaml Programs on FPGA., , and . Int. J. Parallel Program., 51 (2-3): 186-207 (2023)Programming microcontrollers through high-level abstractions: The OMicroB project., , , and . J. Comput. Lang., (November 2023)A Reusable Machine-Calculus for Automated Resource Analyses., and . LOPSTR, volume 14330 of Lecture Notes in Computer Science, page 61-79. Springer, (2023)Spoc: GPGPU Programming through Stream Processing with OCaml., , and . Parallel Process. Lett., (2012)Pratique des langages fonctionnels Types.. (2003)Efficient Abstractions for GPGPU Programming., , and . Int. J. Parallel Program., 42 (4): 583-600 (2014)Hardware Implementation of OCaml Using a Synchronous Functional Language., , and . PADL, volume 14512 of Lecture Notes in Computer Science, page 151-168. Springer, (2024)