Venue. SCP Science of Computer Programming · Journal · Elsevier 2026 Grits: A message-passing programming language based on the semi-axiomatic sequent calculus francalanza-2026-gritsSCP · 2026 DOI 2013 Adjoint folds and unfolds—An extended study hinze-2013-adjointSCP · 2013 DOI 2002 Polytypic values possess polykinded types hinze-2002-polytypicSCP · 2002 DOI