Ondřej Lhoták
- Pick your contexts well
2011/01/24 by Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták · 4 citations
Computer Science · #Abstraction #Artificial intelligence #Computer science #Context (archaeology) #Context model #Database #Formal Methods in Verification #Implementation #Logic, programming, and type systems #Object (grammar) #Programming language #Quality (philosophy) #Scalability #Sensitivity (control systems) #Software Engineering Research #Theoretical computer science
- A Path To DOT: Formalizing Fully Path-Dependent Types
2019/04/15 by Marianna Rapoport, Rapoport, Marianna, Ondřej Lhoták +1 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- A Simple Soundness Proof for Dependent Object Types
2017/06/12 by Marianna Rapoport, Ifaz Kabir, Rapoport, Marianna +5 · 2 voices
Computer Science · #cs.PL
- Qualifying System F<:: Some Terms and Conditions May Apply
2023/11/13 by Edward Lee, Yaoyu Zhao, James You +4 · 1 voice
Computer Science · #Distributed systems and fault tolerance #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL
- Context transformations for pointer analysis
2017/06/14 by Rei Thiessen, Ondřej Lhoták · 1 citation
Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Advanced Software Engineering Methodologies