Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

Супероптимизаторы на теории категорий

Парочка статей, в которых затрагивается и суперкомпиляция (новые методы оной, и не будем тут дальше про термины), и теория категорий, и "программирование по образцу" и еще куча всякого:

Начало -- http://cseweb.ucsd.edu/~rtate/publications/eqsat/eqsat_tate_popl09.pdf (кратенько: http://cseweb.ucsd.edu/~rtate/publications/eqsat/).
Продолжение -- http://cseweb.ucsd.edu/~rtate/publications/proofgen/proofgen_tate_popl10.pdf (кратенько: http://cseweb.ucsd.edu/~rtate/publications/proofgen/).
И в этом примерно же духе других авторов: http://www.cs.bris.ac.uk/Publications/Papers/2000979.pdf

Очень интересно, что из этого может выйти практического. Наверное, очередной компилятор Haskell :)
Subscribe

  • lytdybr

    Лекции по стратегированию записаны, двадцатый поток их уже получил -- там 4 часа 40 минут записи на 54 слайда (суммарно тем самым "системный…

  • lytdybr

    Слайды короткого курса "Стратегирование 2021" почти готовы, завтра планирую уже начать записывать видеолекции, они пойдут текущему двадцатому потоку…

  • Конференция "Прикладное системное мышление", 2021

    На конференции по прикладному системному мышлению у меня было два доклада: 1. "Содержание образования в Школе системного менеджмента", видео (с…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 0 comments