PADL 2017 Contributors -

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Sergio AntoyAntoy, Sergio Kiel University Improving Non-deterministic Computations in Functional Logic Programs
B Maciej BendkowskiBendkowski, Maciej Jagiellonian University Boltzmann Samplers for Closed Simply-Typed Lambda Terms
C Guerric ChupinChupin, Guerric ENSTA ParisTech Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila DALI for Cognitive Robotics: Principles and Prototype Implementation
D Giovanni De GasperisDe Gasperis, Giovanni Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica DALI for Cognitive Robotics: Principles and Prototype Implementation
Besik DunduaDundua, Besik Institute of Applied Mathematics, Tbilisi State University An Overview of PRhoLog
F Jonathan FowlerFowler, Jonathan University of Nottingham Failing Faster: Overlapping Patterns for Property-Based Testing
Jonathan FruhmanFruhman, Jonathan CUNY Brooklyn College Canonicalizing High-Level Constructs in Picat
G Katarzyna GrygielGrygiel, Katarzyna Jagiellonian University Boltzmann Samplers for Closed Simply-Typed Lambda Terms
H Michael HanusHanus, Michael Kiel UniversityGermany Improving Non-deterministic Computations in Functional Logic Programs
Jules HedgesHedges, Jules University of Oxford Selection Equilibria of Higher-Order Games
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Failing Faster: Overlapping Patterns for Property-Based Testing
K Felix KlockKlock, Felix A Declarative DSL for Customized Rendering of Text-Based Art
Temur KutsiaKutsia, Temur An Overview of PRhoLog
L Yuliya LierlerLierler, Yuliya University of Nebraska Session Chair of Opening remarks (part of PADL) Committee Member in Organizing Committee within the PADL-track
M Geoffrey MainlandMainland, Geoffrey Drexel University A Domain-Specific Language for Software-Defined Radio
Theofrastos MantadelisMantadelis, Theofrastos Universidade do Porto Using Iterative Deepening for Probabilistic Logic Inference
Dale MillerMiller, Dale INRIA Saclay and LIX Proof checking and logic programming
N Giulio NazziconeNazzicone, Giulio Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica DALI for Cognitive Robotics: Principles and Prototype Implementation
Henrik NilssonNilsson, Henrik Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
O Paulo OlivaOliva, Paulo Queen Mary University of London Selection Equilibria of Higher-Order Games
R Jakob RathRath, Jakob Vienna University of Technology Integrating Answer Set Programming with Object-oriented Languages
Christoph RedlRedl, Christoph Vienna University of Technology Integrating Answer Set Programming with Object-oriented Languages Extending Answer Set Programs with Interpreted Functions as First-class Citizens
Klaus Reisenberger-HagmayerReisenberger-Hagmayer, Klaus Johannes Kepler University Linz An Overview of PRhoLog
Ricardo RochaRocha, Ricardo Using Iterative Deepening for Probabilistic Logic Inference
S Evguenia ShpritsShprits, Evguenia University of Mannheim Selection Equilibria of Higher-Order Games
T Walid TahaTaha, Walid Halmstad University Session Chair of Opening remarks (part of PADL) Committee Member in Organizing Committee within the PADL-track
Paul TarauTarau, Paul University of North TexasUnited States Boltzmann Samplers for Closed Simply-Typed Lambda Terms
V Joost VennekensVennekens, Joost KU Leuven Lowering the learning curve for declarative programming: a Python API for the IDP system
W Viktor WinschelWinschel, Viktor ETH Zürich Selection Equilibria of Higher-Order Games
Z Philipp ZahnZahn, Philipp University of St. Gallen Selection Equilibria of Higher-Order Games
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Canonicalizing High-Level Constructs in Picat