Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
View Scopus Profile
Sam Lindley
Reader in Programming Language Design and Implementation
,
School of Informatics
Laboratory for Foundations of Computer Science
Overview
Fingerprint
Network
Research output
(59)
Activities
(4)
Projects
(1)
Similar Profiles
(12)
If you made any changes in Pure these will be visible here soon.
Research output
39
Conference contribution
14
Article
1
Book
1
Chapter
4
More
1
Chapter (peer-reviewed)
1
Abstract
1
Preprint
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Preprint
Search results
2022
Constraint-based type inference for FreezeML
Emrich, F.
,
Stolarek, J.
,
Cheney, J.
&
Lindley, S.
,
20 Jul 2022
,
ArXiv
,
45 p.
Research output
:
Working paper
›
Preprint
File