Marco T. Morazán
Orcid: 0000-0003-4670-6116
According to our database1,
Marco T. Morazán
authored at least 40 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove
Texts in Computer Science, Springer, ISBN: 978-3-031-43972-8, 2024
Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education, 2024
Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024
Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation.
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024
2023
CoRR, 2023
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023
Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, 2023
2022
Texts in Computer Science, Springer, ISBN: 978-3-031-04316-1, 2022
Animated Problem Solving - An Introduction to Program Design Using Video Game Development
Texts in Computer Science, Springer, ISBN: 978-3-030-85090-6, 2022
Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022
Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022
2020
Proceedings of the Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, 2020
Using Video Game Development to Motivate Program Design and Algebra Among Inner-City High School Students.
Proceedings of the Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, 2020
Proceedings of the Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, 2020
How to make <i>while</i> loops iterative: an introduction for first-year CS students.
Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020
2018
Infusing an HtDP-based CS1 with distributed programming using functional video games.
J. Funct. Program., 2018
Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018
Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018
2017
Proceedings of the Proceedings Sixth Workshop on Trends in Functional Programming in Education, 2017
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017
2015
Comput. Lang. Syst. Struct., 2015
2014
Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014
2013
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013
Proceedings of the Beauty of Functional Code, 2013
2011
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011
2010
High. Order Symb. Comput., 2010
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
2007
Proceedings of the Implementation and Application of Functional Languages, 2007
2006
Improved Graph-Based Lambda Lifting.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
2005
Exploiting Syntactic Analysis for Lambda Lifting.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005
Towards Closureless Functional Languages.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005
2003
List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
2002
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System.
CLEI Electron. J., 2002
Prefetching List-Based Memory in a DVM System Designed for Functional Languages.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
2001
Paging in a Distributed Virtual Memory.
Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001
Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001
1999
The MT Architecture and Allocation Algorithm.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999