RT @Jose_A_Alonso: Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. https://t.co/…
91 followers
10 followers
RT @Jose_A_Alonso: Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. https://t.co/…
494 followers
RT @Jose_A_Alonso: Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. https://t.co/…
107 followers
RT @Jose_A_Alonso: Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. https://t.co/…