• https://doi.org/10.1145/251595.251607Copy DOI Icon

Challenges in type systems research

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Type systems are one backbones of programming language design and implementation. Current research addresses questions in fields as diverse as mathematical logic, program analysis, and human factors engineering. Some of the future challenges for the field are: increasing the expressiveness of typed programming languages, broadening the information carried by types, and making type systems amenable to user definition and customization.

Similar Papers
  • Conference Article
  • Citations2

The Omission of Human Engineering in the Design of Offshore Equipment and Facilities: How Come?

  • May 07, 1990
  • G.E Miller
  • Research Article

Applying Human Factors Engineering : Naturally Safe Software–User Interfaces

  • Jan 01, 2013
  • Biomedical Instrumentation & Technology
  • Michael Wiklund +1
  • Conference Article

HFE Safety Evaluation in Angra-1 NPP for the Preparation and Inclusion of a Chapter 18 in the Plant Final Safety Analysis Report

  • Jul 07, 2014
  • Volume 1: Plant Operations, Maintenance, Engineering, Modifications, Life Cycle and Balance of Plant; Nuclear Fuel and Materials; Plant Systems, Structures and Components; Codes, Standards, Licensing and Regulatory Issues
  • Pedro Trueba Alonso +3
  • Single Report

Spent nuclear fuel project, Cold Vacuum Drying Facility human factors engineering (HFE) analysis: Results and findings

  • Jul 17, 1998
  • L.J Garvin
  • Conference Article

An Integrated Approach to Human System Interface Design in New Nuclear Power Plants

  • Jan 01, 2009
  • Volume 3: Thermal Hydraulics; Current Advanced Reactors: Plant Design, Construction, Workforce and Public Acceptance
  • Jose´ Manuel Viguera +2
  • Research Article

Device Development for Biosimilars: Human Factor Engineering for a Teriparatide Pen

  • Jan 01, 2022
  • Expert Opinion on Biological Therapy
  • Ronak Patel +4
  • Research Article

Function Modeling Applied to Human Factors Engineering Productivity Improvement

  • Sep 01, 1987
  • Proceedings of the Human Factors Society Annual Meeting
  • Gary Kress +1
  • Conference Article

The Application of Task Analysis and Task Support Verification in HPR1000 Main Control Room Human System Interface Design

  • Jul 02, 2017
  • Deng Shiguang +2
  • Single Report

HFE Process Guidance and Standards for potential application to updating NRC guidance

  • Jul 01, 2012
  • Jacques Hugo +1
  • Research Article
  • Citations8

Adult code cart redesign: Clinical implications.

  • Jul 01, 2018
  • Nursing
  • Janet T Crimlisk +5
  • Research Article

Integration of Human Factors Engineering and System Safety in the Development of Military Weapon Systems

  • Oct 01, 1984
  • Proceedings of the Human Factors Society Annual Meeting
  • Robert A Flax +1
  • Research Article
  • Citations10

Using Human Factors Engineering in Designing and Assessing Nursing Personnel Responses to Mock Code Training

  • Oct 01, 2010
  • Journal of Nursing Care Quality
  • Barbara L Wilson +3
  • Research Article
  • Citations9

Using “No Problem Found” in Infusion Pump Programming as a Springboard for Learning About Human Factors Engineering

  • Sep 01, 2004
  • The Joint Commission Journal on Quality and Safety
  • Scott Draper +2
  • Research Article

Human Factor Engineering and Incident Prevention in Oil and Gas Welding Operations

  • May 19, 2025
  • Advanced Engineering Forum
  • Daniel Obioma Thomas +2
  • Research Article

Anthropologists as Human Factors Engineers

  • Mar 01, 1960
  • Human Organization
  • Bernard F Pierce
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.