Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
kachnuv_ocasek
on Nov 20, 2019
|
parent
|
context
|
favorite
| on:
An interview with Barbara Liskov
If I recall correctly, ML first appeared as part of the Edinburgh LCF theorem prover in 1979 and it did not have modules at that time.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
