| FreezeML: complete and easy type inference for first-class polymorphism F Emrich, S Lindley, J Stolarek, J Cheney, J Coates Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 12 | 2020 |
| AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs J Hensel, F Emrich, F Frohn, T Ströder, J Giesl International Conference on Tools and Algorithms for the Construction and …, 2017 | 12 | 2017 |
| Constraint-based type inference for FreezeML F Emrich, J Stolarek, J Cheney, S Lindley Proceedings of the ACM on Programming Languages 6 (ICFP), 570-595, 2022 | 3 | 2022 |
| The Virtues of Semi-Explicit Polymorphism F Emrich, S Lindley, J Stolarek | 1* | |
| Complete and Easy Type Inference for First-Class Polymorphism F Emrich, S Lindley, J Stolarek, J Cheney, J Coates | | 2020 |
| Modular Termination Analysis of C Programs F Emrich, J Hensel, J Giesl 17th International Workshop on Termination, 27, 0 | | |
| Broken Links (Presentation) F Emrich, D Hillerström | | |
| AProVE at the Termination Competition 2018 M Brockschmidt, S Dollase, F Emrich, F Frohn, C Fuhs, J Giesl, M Hark, ... 16th International Workshop on Termination, 78, 0 | | |
Jürgen GieslProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的电子邮件经过验证
