Результати пошуку - Omar, Cyrus

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations за авторством Zhong, Zhiyao, Omar, Cyrus

Отримати повний текст
Отримати повний текст

Practical Algebraic Stepping with Scoped Filters за авторством Fei, Haoxiang, Keenan, Matthew, Omar, Cyrus

Отримати повний текст
Отримати повний текст

Bidirectional Type Slicing за авторством Carroll, Max, Madhavapeddy, Anil, Omar, Cyrus

Отримати повний текст
Отримати повний текст

Program Sketching with Live Bidirectional Evaluation за авторством Lubin, Justin, Collins, Nick, Omar, Cyrus, Chugh, Ravi

Отримати повний текст
Отримати повний текст

Statically Contextualizing Large Language Models with Typed Holes за авторством Blinn, Andrew, Li, Xiang, Kim, June Hyung, Omar, Cyrus

Отримати повний текст
Отримати повний текст

Syntactic Completions with Material Obligations за авторством Moon, David, Blinn, Andrew, Porter, Thomas J., Omar, Cyrus

Отримати повний текст
Отримати повний текст

Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction за авторством Keenan, Matthew, Kheterpal, Nishant, Jeannin, Jean-Baptiste, Omar, Cyrus

Отримати повний текст
Отримати повний текст

Proof Interfaces for Exploratory Mathematics за авторством Kheterpal, Nishant, Keenan, Matthew, Omar, Cyrus, Jeannin, Jean-Baptiste

Отримати повний текст
Отримати повний текст

Incremental Bidirectional Typing via Order Maintenance за авторством Porter, Thomas J., Kirisame, Marisa, Wei, Ivan, Panchekha, Pavel, Omar, Cyrus

Отримати повний текст
Отримати повний текст

RustViz: Interactively Visualizing Ownership and Borrowing за авторством Gongming, Luo, Reddy, Vishnu, Almeida, Marcelo, Zhu, Yingying, Du, Ke, Omar, Cyrus

Отримати повний текст
Отримати повний текст

DeckFlow: Iterative Specification on a Multimodal Generative Canvas за авторством Croisdale, Gregory, Huang, Emily, Chung, John Joon Young, Guo, Anhong, Wang, Xu, Henley, Austin Z., Omar, Cyrus

Отримати повний текст
Отримати повний текст

Incremental Live Programming via Shortcut Memoization за авторством Kirisame, Marisa, Porter, Thomas J., Yang, Ruqing, Zhao, Jianqiu, Wu, Yudi, Wei, Ivan, Omar, Cyrus, Panchekha, Pavel

Отримати повний текст
Отримати повний текст

Steps towards an Ecology for the Internet за авторством Madhavapeddy, Anil, Reynolds, Sam, Christie, Alec P., Coomes, David A., Dales, Michael W., Ferris, Patrick, Gibb, Ryan, Haddadi, Hamed, Jaffer, Sadiq, Millar, Josh, Omar, Cyrus, Sutherland, William J., Crowcroft, Jon

Отримати повний текст
Отримати повний текст