Catalin Hritcu
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 47
Publications (10 Years): 47
Saarland University (PHD)
Education History
Saarland University
PHD
Publications
- David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
- Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
- Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
- Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
- Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
- Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
- Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric TanterDijkstra Monads for All. CoRR (2019)
- Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
- Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
- Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
- Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
- Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
- Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
- Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil SwamyDijkstra Monads for Free. CoRR (2016)
- Catalin Hritcu
- Catalin Hritcu
- Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
- Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
- Michael Backes, Catalin Hritcu, Matteo Maffei
- Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
- Catalin Hritcu, Jan Schwinghammer
- Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei
- Michael Backes, Catalin Hritcu, Matteo Maffei
- Catalin Hritcu, Iulian Goriac, Raluca Mihaela Gordan, Elena Erbiceanu