Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research Units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
Mathematically Structured Programming
University Of Strathclyde
Research Pooling
Overview
Fingerprint
Network
Profiles
(28)
Projects
(22)
Research output
(174)
Activities
(66)
Research output
Research output per year
2008
2009
2012
2013
2014
2015
2017
2018
2020
2021
2022
2023
83
Conference contribution book
56
Article
8
Chapter
8
Paper
19
More
4
Conference Contribution
3
Special issue
2
Anthology
2
Working paper
1
Book
1
Other chapter contribution
1
Chapter (peer-reviewed)
1
Conference article
1
Review article
1
Doctoral Thesis
1
Master's Thesis
1
Working Paper/Preprint
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Anthology
Search results
2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
Atkey, B. (ed.)
&
Lindley, S. (ed.)
,
8 Jul 2018
, (EPTCS)
Research output
:
Book/Report
›
Anthology
Open Access
Structured programming
100%
Functional programming
88%
Functional Programming
85%
Haskell
46%
Adjunction
40%
2016
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016
Atkey, B. (ed.)
&
Krishnaswami, N. R. (ed.)
,
1 Apr 2016
,
98 p.
(EPTCS)
Research output
:
Book/Report
›
Anthology
Open Access
Structured programming
100%
Functional programming
88%
Functional Programming
85%
Computer science
66%
Computer programming languages
60%