Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Publicações Confirmadas: 16



1
2
TÍTULO: Teaching Introductory Functional Programming Using Haskelite  Full Text
AUTORES: Vasconcelos, Pedro ;
PUBLICAÇÃO: 2025, FONTE: 14th International Workshop on Trends in Functional Programming in Education (TFPIE) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 424, NÚMERO: 424
INDEXADO EM: Scopus WOS CrossRef Unpaywall
3
TÍTULO: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTORES: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
4
TÍTULO: Kumon-Inspired Approach to Teaching Programming Fundamentals
AUTORES: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122
INDEXADO EM: Scopus DBLP
5
TÍTULO: Towards Algebraic Subtyping for Extensible Records
AUTORES: Rodrigo Marques; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.06747
INDEXADO EM: DBLP
6
TÍTULO: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTORES: Pedro Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: OpenAccess Series in Informatics, VOLUME: 112
INDEXADO EM: Scopus
7
TÍTULO: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTORES: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLICAÇÃO: 2020, FONTE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
8
TÍTULO: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTORES: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
9
TÍTULO: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTORES: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID
10
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
Página 1 de 2. Total de resultados: 16.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service