Talk:Message Passing

"CAR" in this context needs expansion or a reference; I have no idea what it means and have no way to find out: "it is a pair of a dictionary (on CAR)"

Added reference to Polymorphic_Types_(PMTs) on Feb 21.