Paul Tarau -

Registered user since Sat 12 Dec 2015

Name:Paul Tarau

Country:United States

Affiliation:University of North Texas

Personal website: http://www.cse.unt.edu/~tarau/

Contributions

2025

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2025-track

2024

FLOPS

2023

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2023-track

2022

Symposium on Practical Aspects of Declarative Languages

Committee Member in Programme Committee within the PADL 2022-track

2021

Symposium on Practical Aspects of Declarative Languages

2020

LPOP

Symposium on Practical Aspects of Declarative Languages

2019

Symposium on Practical Aspects of Declarative Languages

2018

Symposium on Practical Aspects of Declarative Languages

Invited Speaker of On k-colored Lambda Terms and their Skeletons within the PADL 2018-track

2017

Symposium on Practical Aspects of Declarative Languages

Author of Boltzmann Samplers for Closed Simply-Typed Lambda Terms within the PADL-track

2016

Symposium on Practical Aspects of Declarative Languages