Showing results 1 to 5 of 5
Title | Author(s) | Issue Date | |
---|---|---|---|
2012 | |||
GMeta: A generic formal metatheory framework for first-order representations Proceeding/Conference:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | ||
The implicit calculus: A new foundation for generic programming Proceeding/Conference:Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | 2012 | ||
The implicit calculus: A new foundation for generic programming Proceeding/Conference:ACM SIGPLAN Notices | 2012 | ||
Physical activity in the era of climate change and COVID-19 pandemic: ćŁesults from the South Korea's 2022 report card on physical activity for children and adolescents Journal:Journal of Exercise Science & Fitness | 2023 |