Personne
Fengyun Liu
Cette personne n’est plus à l’EPFL
Publications associées (15)
Foundations of Implicit Function Types
Martin Odersky, Fengyun Liu, Olivier Eric Paul Blanvillain
Implicit parameters are used pervasively in Scala and are also present in a number of other programming and theorem proving languages. This paper describes a generalization of implicit parameters as they are currently found in Scala to implicit function ty ...
2017Simplicitly: Foundations and Applications of Implicit Function Types
Martin Odersky, Fengyun Liu, Sandro Stucki, Olivier Eric Paul Blanvillain
Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...
2017A Study of Capability-Based Effect Systems
The problem of effect polymorphism is a major obstacle to wide adoption of effect systems in the programming community. The absence of effect systems reduces compiler optimization opportunities and disables effect constraints on APIs in parallel and distri ...
2016A Generic Algorithm for Checking Exhaustivity of Pattern Matching
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
Assoc Computing Machinery2016A generic algorithm for checking exhaustivity of pattern matching
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
2016