Thursday, February 23, 2017

Thursday, February 23, 2017 — 10:30 to 10:30 AM EST

Title

Type-Driven Program Synthesis

Speaker

Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT

Abstract

S M T W T F S
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
  1. 2021 (125)
    1. December (5)
    2. November (18)
    3. October (10)
    4. September (4)
    5. August (12)
    6. July (4)
    7. June (5)
    8. May (10)
    9. April (25)
    10. March (14)
    11. February (10)
    12. January (9)
  2. 2022 (1)
    1. January (1)
  3. 2020 (246)
    1. December (20)
    2. November (19)
    3. October (15)
    4. September (15)
    5. August (16)
    6. July (32)
    7. June (29)
    8. May (32)
    9. April (27)
    10. March (13)
    11. February (20)
    12. January (16)
  4. 2019 (282)
  5. 2018 (150)
  6. 2017 (212)
    1. December (14)
    2. November (18)
    3. October (6)
    4. September (18)
    5. August (17)
    6. July (33)
    7. June (15)
    8. May (23)
    9. April (28)
    10. March (17)
    11. February (10)
    12. January (13)
  7. 2016 (242)
  8. 2015 (242)
  9. 2014 (268)
  10. 2013 (190)
  11. 2012 (31)