Article

Dimension Types

Author:

Andrew KennedyAuthors Info & Claims

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

Pages 348 - 362

Published: 11 April 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Tsoutsouras VWillis SStanley-Marbell P(2021)Deriving equations from sensor data using dimensional function synthesisCommunications of the ACM10.1145/346521664:7(91-99)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1145/3465216
Liang XBurns JSanchez JDantu KZiarek LLiu Y(2021)Understanding Bounding Functions in Safety-Critical UAV SoftwareProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00119(1311-1322)Online publication date: 22-May-2021
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00119
Wang YWillis STsoutsouras VStanley-Marbell P(2019)Deriving Equations from Sensor Data Using Dimensional Function SynthesisACM Transactions on Embedded Computing Systems10.1145/335821818:5s(1-22)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1145/3358218
Show More Cited By

Recommendations

Qualified types for MLF
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a local type annotation is required. Qualified types are a general concept that ...
Qualified types for MLF
ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a local type annotation is required. Qualified types are a general concept that ...
Boxy types: inference for higher-rank types and impredicativity
ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annotations. In this paper we show, for the first time, how to combine the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

April 1994

516 pages

ISBN:3540578803

Editor:
Donald Sannella

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 11 April 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tsoutsouras VWillis SStanley-Marbell P(2021)Deriving equations from sensor data using dimensional function synthesisCommunications of the ACM10.1145/346521664:7(91-99)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1145/3465216
Liang XBurns JSanchez JDantu KZiarek LLiu Y(2021)Understanding Bounding Functions in Safety-Critical UAV SoftwareProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00119(1311-1322)Online publication date: 22-May-2021
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00119
Wang YWillis STsoutsouras VStanley-Marbell P(2019)Deriving Equations from Sensor Data Using Dimensional Function SynthesisACM Transactions on Embedded Computing Systems10.1145/335821818:5s(1-22)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1145/3358218
Bennich-Björkman OMcKeever SPearce DMayerhofer TSteimann F(2018)The next 700 unit of measurement checkersProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276613(121-132)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276613
Karol SNett TCastrillon JSbalzarini I(2018)A Domain-Specific Language and Editor for Parallel Particle MethodsACM Transactions on Mathematical Software10.1145/317565944:3(1-32)Online publication date: 23-Mar-2018
https://dl.acm.org/doi/10.1145/3175659
Legatiuk DNilsson HZimmer DBachmann B(2017)Abstract modellingProceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools10.1145/3158191.3158202(61-64)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1145/3158191.3158202
Griffioen PLämmel R(2015)Type inference for array programming with dimensioned vector spacesProceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages10.1145/2897336.2897341(1-12)Online publication date: 14-Sep-2015
https://dl.acm.org/doi/10.1145/2897336.2897341
Xiang JKnight JSullivan K(2015)Real-World Types and Their ApplicationProceedings of the 34th International Conference on Computer Safety, Reliability, and Security - Volume 933710.1007/978-3-319-24255-2_34(471-484)Online publication date: 23-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-24255-2_34
Atkey R(2014)From parametricity to conservation laws, via Noether's theoremACM SIGPLAN Notices10.1145/2578855.253586749:1(491-502)Online publication date: 8-Jan-2014
https://dl.acm.org/doi/10.1145/2578855.2535867
Atkey RJagannathan SSewell P(2014)From parametricity to conservation laws, via Noether's theoremProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2535838.2535867(491-502)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2535838.2535867
Show More Cited By

Abstract

Cited By

Recommendations

Qualified types for MLF

Qualified types for MLF

Boxy types: inference for higher-rank types and impredicativity

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations