Person:3419811: Difference between revisions

From MaRDI portal
Person:3419811
Created automatically from import231006081045
 
Created automatically from import240128110107
 
Line 1: Line 1:
{{Person}}
{{person}}

Latest revision as of 12:37, 28 January 2024

Available identifiers

zbMath Open shields.mark-bMaRDI QIDQ3419811

List of research outcomes

PublicationDate of PublicationType
Implicit parameters2015-03-17Paper
Type-indexed rows2015-03-17Paper
Practical type inference for arbitrary-rank types2007-02-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Mark B. Shields