Kata Kunci Pencarian:
- Martin Vechev
- Martin Richards (computer scientist)
- ETH Zurich
- Solidity
- SIGPLAN
- Programming Language Design and Implementation (conference)
- Hallucination (artificial intelligence)
- Universal approximation theorem
- Quantum programming
- Soufflé (programming language)