![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
A theory of RPC calculi for client–server model (ICFP 2020) (ACM SIGPLAN) View |
![]() |
A Theory of RPC Calculi for Client-Server Model (Cambridge University Press) View |
![]() |
Local algebraic effect theories (ICFP 2020) (ACM SIGPLAN) View |
![]() |
Perturbation confusion in forward automatic differentiation of higher-order functions (ICFP 2020) (ACM SIGPLAN) View |
![]() |
Emerging languages: An alternative approach to teaching programming languages (ICFP 2020) (ACM SIGPLAN) View |
![]() |
Local Algebraic Effect Theories (Cambridge University Press) View |
![]() |
ICFP 2021 SRC: Ungenerators (Poster Talk) (Harrison Goldstein) View |
![]() |
ICFP 2012. Matthew Might: Introspective Pushdown Analysis of Higher-Order Programs. (Malcolm Wallace) View |
![]() |
Perturbation Confusion in Forward Automatic Differentiation of Higher-Order Functions (Cambridge University Press) View |
![]() |
Emerging Languages – An Alternative Approach to Teaching Programming Languages (Cambridge University Press) View |