https://research-information.bris.ac.uk/files/177111638/Nick_Wu_Syntax_and_Semantics_for_Operations_with_Scopes.pdf

Is it possible to have such scoped operations as syntax, thus keeping a
clean separation of syntax and semantics?
In this paper, we show how to achieve this by expressing the
abstract syntax as an initial algebra in the category of ( Read more... )

https://github.com/lampepfl/dotty/blob/master/tests/run/polymorphic-functions.scala

type F0 = [T] => List[T] => Option[T ( Read more... )

https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.5419

http://homepages.inf.ed.ac.uk/gdp/publications/comb_cont_journal.pdfRead more... )

https://www.math.harvard.edu/media/lehner.pdf

Thus Kan extensions are simply a method for taking two functors and coming up with a third functor that attempts to make a certain triangle make sense.

https://www.cs.ox.ac.uk/people/ralf.hinze/publications/MPC12.pdfRead more... )

https://blog.poisson.chat/posts/2019-10-26-reasonable-continuations.htmlRead more... )

http://ps.informatik.uni-tuebingen.de/publications/schuster19zero.pdfRead more... )

import scala.util.control.TailCalls._ ( Read more... )

type :@:[A, R] = (A => R) => R ( Read more... )