Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael I. Schwartzbach
Polyvariant Analysis of the Untyped Lambda Calculus
DAIMI Report Series
Efficient Inference of Partial Types
DAIMI Report Series
Type Inference of Turbo Pascal
BRICS Report Series
MONA Implementation Secrets
BRICS Report Series
A Note on Opaque Types
DAIMI Report Series
Related publications
Nested Datatypes With Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus With Explicit Flattening
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Gödelisation in the Lambda-Calculus
BRICS Report Series
A Calculus With Polymorphic and Polyvariant Flow Types
Journal of Functional Programming
Software
On the Definition of Lambda-Calculus Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solvability in Resource Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
A Linearization of the Lambda-Calculus and Consequences
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Computability via the Lambda Calculus With Patterns
Journal of Mathematics Research
