RT @KazutakaMatsuda: Now, our ESOP 18 paper is available online from https://t.co/uB0kuaIGBl I was really surprised that all the ETAPS pape…
2,128 followers
3,349 followers
This seems like an interesting take on lenses: HOBiT, a higher-order bidirectional programming language https://t.co/ITupDecndM https://t.co/meR6VkXYPq #etaps
363 followers
RT @KazutakaMatsuda: Now, our ESOP 18 paper is available online from https://t.co/uB0kuaIGBl I was really surprised that all the ETAPS pape…
497 followers
RT @KazutakaMatsuda: Now, our ESOP 18 paper is available online from https://t.co/uB0kuaIGBl I was really surprised that all the ETAPS pape…