Marco T. Morazán

According to our database, Marco T. Morazán authored at least 37 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove

Marco T. Morazán

Texts in Computer Science, Springer, ISBN: 978-3-031-43972-8, 2024

2023

Proceedings of The 2023 Scheme and Functional Programming Workshop.

Marco T. Morazán

CoRR, 2023

Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation.

Tijana Minic, Marco T. Morazán

CoRR, 2023

Visualizing Why Nondeterministic Finite-State Automata Reject.

Oliwia Kempinski, Marco T. Morazán

CoRR, 2023

Regular Expressions in a CS Formal Languages Course.

Marco T. Morazán

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

Composing Turing Machines in FSM.

Marco T. Morazán

Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, 2023

2022

Animated Program Design - Intermediate Program Design Using Video Game Development

Marco T. Morazán

Texts in Computer Science, Springer, ISBN: 978-3-031-04316-1, 2022

Animated Problem Solving - An Introduction to Program Design Using Video Game Development

Marco T. Morazán

Texts in Computer Science, Springer, ISBN: 978-3-030-85090-6, 2022

Introduction to Functional Classes in CS1.

Marco T. Morazán

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

Design of Classes I.

Marco T. Morazán

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

2020

How to Design While Loops.

Marco T. Morazán

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.

Marco T. Morazán

Proceedings of the Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, 2020

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM.

Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde

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.

Marco T. Morazán

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.

Marco T. Morazán

J. Funct. Program., 2018

Vector Programming Using Generative Recursion.

Marco T. Morazán

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

FSM Error Messages.

Marco T. Morazán, Josephine A. Des Rosiers

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

2017

Vector Programming Using Structural Recursion.

Marco T. Morazán

Proceedings of the Proceedings Sixth Workshop on Trends in Functional Programming in Education, 2017

Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS.

Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2015

Generative and accumulative recursion made fun for beginners.

Marco T. Morazán

Comput. Lang. Syst. Struct., 2015

2014

Functional Automata - Formal Languages for Computer Science Students.

Marco T. Morazán, Rosario Antunez

Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014

2013

Functional Video Games in CS1 III - Distributed Programming for Beginners.

Marco T. Morazán

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Bytecode and Memoized Closure Performance.

Marco T. Morazán

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers.

Marco T. Morazán

Proceedings of the Beauty of Functional Code, 2013

2011

Functional Video Games in CS1 II.

Marco T. Morazán

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

2010

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.

Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán

High. Order Symb. Comput., 2010

Functional Video Games in the CS1 Classroom.

Marco T. Morazán

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2007

Optimal Lambda Lifting in Quadratic Time.

Marco T. Morazán, Ulrik Pagh Schultz

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

Improved Graph-Based Lambda Lifting.

Marco T. Morazán, Barbara Mucha

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.

Barbara Mucha, Marco T. Morazán

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Towards Closureless Functional Languages.

Marco T. Morazán

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.

Marco T. Morazán, Douglas R. Troeger

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.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

CLEI Electron. J., 2002

Prefetching List-Based Memory in a DVM System Designed for Functional Languages.

Marco T. Morazán

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2001

Paging in a Distributed Virtual Memory.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

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.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

1999

The MT Architecture and Allocation Algorithm.

Marco T. Morazán, Douglas R. Troeger

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999