Ömer S. Agacan

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 2

Top Topics

Database Theory

Formal Definitions

Syntactic And Semantic Dependencies

Top Venues

Publications

Luc Bläser, Claudio Russo, Ulan Degenbaev, Ömer S. Agacan, Gabor Greif, Jason Ibrahim
Collecting Garbage on the Blockchain. VMIL@SPLASH (2023)
Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt
Parallel type-checking with haskell using saturating LVars and stream generators. PPOPP (2016)
Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton
Efficient communication and collection with compact normal forms. ICFP (2015)
Michael D. Adams, Ömer S. Agacan
Indentation-sensitive parsing for Parsec. Haskell (2014)