Author of the publication

SML\# in Industry: a Practical ERP System Development

, , , , , , and . Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, ACM, (August 2014)
DOI: 10.1145/2628136.2628164

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

A New LDMOS Transistor Macro-Modeling for Accurately Predicting Bias Dependence of Gate-Overlap Capacitance., , , , , , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 93-A (9): 1605-1611 (2010)Robust in-hand manipulation of variously sized and shaped objects., , , , and . IROS, page 257-263. IEEE, (2015)Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution., , , and . DAC, page 698-701. ACM, (2008)Rice cultivar responses to elevated CO2 at two free-air CO2 enrichment (FACE) sites in Japan, , , , , , , , , and 8 other author(s). Functional Plant Biology, 40 (2): 148--159 (2013)Accurate Array-Based Measurement for Subthreshold-Current of MOS Transistors., , , and . IEEE J. Solid State Circuits, 44 (11): 2977-2986 (2009)GPU-based Ising computing for solving max-cut combinatorial optimization problems., , , , and . Integr., (2019)Electrodynamic Suspension and Stability of a Charged Droplet in Quadrupole Electrode.. IAS, page 1-4. IEEE, (2008)Sentence-based Plagiarism Detection focusing on Nouns and Part-of-Speech Structure., , , , and . SoMeT, volume 265 of Frontiers in Artificial Intelligence and Applications, page 1006-1015. IOS Press, (2014)Flexible Group Key Exchange with On-demand Computation of Subgroup Keys Supporting Subgroup Key Randomization., and . SECRYPT, page 353-357. SciTePress, (2012)Contextual knowledge for summarizing Japanese texts and generating English sentences., , and . COMPSAC, page 470-471. IEEE, (1988)