Pika
Our work on higher-order specifications for deductive synthesis in SuSLik (done in collaboration with with Ziyi Yang, David Young, and Alex Potanin) is accepted to ECOOP’24.
Our work on higher-order specifications for deductive synthesis in SuSLik (done in collaboration with with Ziyi Yang, David Young, and Alex Potanin) is accepted to ECOOP’24.