2,783 followers
RT @SchreiberUrs: @rob_rix @DavidCorfield8 For use of adjunctions https://t.co/J0swpOQqIn in programming languages see Hinze 12 https://t.…
RT @SchreiberUrs: @rob_rix @DavidCorfield8 For use of adjunctions https://t.co/J0swpOQqIn in programming languages see Hinze 12 https://t.…
@rob_rix @DavidCorfield8 For use of adjunctions https://t.co/J0swpOQqIn in programming languages see Hinze 12 https://t.co/4lrlg8oWXE article: https://t.co/kAxPOzVXIL slides: https://t.co/aG5O6yQkjz doi: https://t.co/hnhBiLmUji https://t.co/q1zizrlUu6
The long article @runarorama mentions at the end of that talk that covers this space is the 2012 article "Generic Programming with Adjunctions" https://t.co/5PrjbsUE8G