Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Confirmed Publications: 16



1
2
TITLE: Teaching Introductory Functional Programming Using Haskelite  Full Text
AUTHORS: Vasconcelos, Pedro ;
PUBLISHED: 2025, SOURCE: 14th International Workshop on Trends in Functional Programming in Education (TFPIE) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 424, ISSUE: 424
INDEXED IN: Scopus WOS CrossRef Unpaywall
3
TITLE: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTHORS: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Kumon-Inspired Approach to Teaching Programming Fundamentals
AUTHORS: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus DBLP
5
TITLE: Towards Algebraic Subtyping for Extensible Records
AUTHORS: Rodrigo Marques; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.06747
INDEXED IN: DBLP
6
TITLE: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2023, SOURCE: OpenAccess Series in Informatics, VOLUME: 112
INDEXED IN: Scopus
7
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
8
TITLE: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTHORS: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
9
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID
10
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
Page 1 of 2. Total results: 16.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service