What is he best known for?
The fields of study he is best known for:
- Programming language
- Functional programming
- Algebra
His primary areas of study are Programming language, Functional programming, Haskell, Theoretical computer science and Java.
His work is connected to Very high-level programming language, System F, Functional logic programming, Parametric polymorphism and Formal methods, as a part of Programming language.
His Functional programming study combines topics from a wide range of disciplines, such as Function type, Soundness, Compiler and Category theory.
His Haskell research integrates issues from Remote procedure call, Distributed object, Method, Object-oriented programming and Implementation.
His Theoretical computer science study integrates concerns from other disciplines, such as Optimizing compiler and Deforestation.
His study in Java is interdisciplinary in nature, drawing from both Web application and JavaScript.
His most cited work include:
- Programming Languages and Systems (1463 citations)
- Imperative functional programming (1128 citations)
- Report on the programming language Haskell: a non-strict, purely functional language version 1.2 (954 citations)
What are the main themes of his work throughout his whole career to date?
Philip Wadler mainly investigates Programming language, Functional programming, Theoretical computer science, Haskell and Lambda calculus.
His work on Programming language deals in particular with Java, Declarative programming, Functional logic programming, Compiler and Monad.
The various areas that he examines in his Functional programming study include Gradual typing, State and Category theory.
Philip Wadler works on Theoretical computer science which deals in particular with Linear logic.
Haskell and Fifth-generation programming language are commonly linked in his work.
As a part of the same scientific study, Philip Wadler usually deals with the Lambda calculus, concentrating on Parametricity and frequently concerns with Parametric polymorphism.
He most often published in these fields:
- Programming language (54.63%)
- Functional programming (20.98%)
- Theoretical computer science (14.15%)
What were the highlights of his more recent work (between 2016-2021)?
- Programming language (54.63%)
- Gradual typing (6.83%)
- Agda (2.44%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Programming language, Gradual typing, Agda, Functional programming and Haskell.
His work blends Programming language and Rendezvous studies together.
He has researched Gradual typing in several fields, including TypeScript, Equivalence, JavaScript and Implementation.
His Agda research focuses on subjects like Focus, which are linked to Lambda calculus.
His study looks at the relationship between Functional programming and topics such as Human–computer interaction, which overlap with Distributed computing, Type checking, Lift and Type safety.
His research in Haskell tackles topics such as Decidability which are related to areas like Monad, Abstract interpretation and Automated theorem proving.
Between 2016 and 2021, his most popular works were:
- Theorems for free for free: parametricity, with and without types (31 citations)
- Gradual session types (23 citations)
- Quantified class constraints (21 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Functional programming
- Algebra
His scientific interests lie mostly in Programming language, Haskell, Agda, Discrete mathematics and Gradual typing.
His studies deal with areas such as Decidability and Learning programming as well as Programming language.
His research investigates the connection between Haskell and topics such as Mathematical proof that intersect with problems in Abstract interpretation and Automated theorem proving.
His Agda study combines topics in areas such as Core language, Scala, Omega and System F.
The study incorporates disciplines such as Possible world, Executable, Calculus and Parametricity in addition to Discrete mathematics.
His Gradual typing research incorporates elements of Declaration, TypeScript, Test code, JavaScript and Implementation.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
