Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

SLIWOWICA

 

Nierozstrzygalność semiunifikacji na chuseczce do nosa


Prelegent: Aleksy Schubert

2021-10-08 12:15

Problem semiunifikacji pojawia się naturalnie w zagadnieniach związanych z typowalnością programów funkcyjnych, w których systemy typów opartych na systemie F. Intuicyjnie chodzi tutaj o typowanie, w którym funkcji w programie staramy się przypisać jak najbardziej ogólny typ, a potem w miejscu użycia pozwalamy, aby ten typ został uszczegółowiony zgodnie z konkretnymi potrzebami. Niedawno Andrej Dudenhefner opublikował bardzo zgrabny i krótki dowód nierozstrzygalności problemu seminunifikacji. Zostanie przedstawiony właśnie ten dowód.