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: ICPEC, 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
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: ICPEC, VOLUME: 81
INDEXED IN: Scopus DBLP
IN MY: ORCID
9
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Jost, S; Vasconcelos, P ; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID
10
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Rodrigues, V ; Akesson, B; Florido, M ; de Sousa, SM ; Pedroso, JP ; Vasconcelos, P ;
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