Hybrid Implementation Techniques in Erlang BEAM | part of Logic Programming: The 12th International Conference | MIT Press books | IEEE Xplore