[Higher Order Logic (HOL)-Haskell-Erlang FFI-Erlang yanni machine learning library]-Based mechanisms to implement Cryo-EM image processing framework/s in the context of electron microscopy heterogeneous computing and informatics R&D environment/s-An interesting insight and short technical communication

In this R&D project work, we would like to exploit the promising and interesting interfacing mechanisms between Haskell and Erlang in the context of cryo-EMImaging/IoT/HPC/EMheterogeneous computing environments. The title mentioned above explains the main idea behind functional programming languages used in our R&D project work in simple terms.