Profiles

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

Verified email at cis.upenn.edu

Cited by 5074

Programming Languages Functional programming Type Systems Dependent types Generic programming

Cezar Ionescu

Technische Hochschule Deggendorf

Verified email at th-deg.de

Cited by 2886

functional programming category theory dependent types control theory artificial intelligence

Edwin Brady

Reader, School of Computer Science, University of St Andrews

Verified email at st-andrews.ac.uk

Cited by 1572

Type Theory Functional Programming Dependent Types Domain Specific Languages

Nicolas Oury

Verified email at ed.ac.uk

Cited by 833

Functional programming Type Theory Dependent Types Domain Specific Language Stochastic Simulation

Talia Ringer

Assistant Professor, University of Illinois at Urbana-Champaign

Verified email at illinois.edu

Cited by 379

Proof Engineering Programming Languages Verification Proof Automation Dependent Types

Marianna Rapoport

University of Waterloo

Verified email at uwaterloo.ca

Cited by 219

programming languages type systems functional programming dependent types

Orestis Melkonian

Input Output (IOG/IOHK)

Verified email at iohk.io

Cited by 192

programming languages functional programming dependent types formal verification

Arjen (Jonathan) Rouvoet

TNO

Verified email at tno.nl

Cited by 182

Software verification Software Dependent types Functional Programming Type Systems

Craig McLaughlin

Senior Research Associate, University of New South Wales

Verified email at unsw.edu.au

Cited by 173

programming languages interactive theorem proving dependent types compilers information flow

Steven Keuchel

Vrije Universiteit Brussel

Verified email at vub.be

Cited by 153

Programming Languages Functional Programming Type Theory Dependent Types Generic Programming

1 - 10