Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. / Elsman, Martin; Schack-Nielsen, Anders.

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. ed. / Matthew Flatt; Hai-Feng Guo. Springer, 2014. p. 184-199 (Lecture notes in computer science, Vol. 8324).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Elsman, M & Schack-Nielsen, A 2014, Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. in M Flatt & H-F Guo (eds), Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Springer, Lecture notes in computer science, vol. 8324, pp. 184-199, 16th International Symposium on Practical Aspects of Declarative Languages, San Diego, United States, 20/01/2014. https://doi.org/10.1007/978-3-319-04132-2_13

APA

Elsman, M., & Schack-Nielsen, A. (2014). Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. In M. Flatt, & H-F. Guo (Eds.), Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings (pp. 184-199). Springer. Lecture notes in computer science Vol. 8324 https://doi.org/10.1007/978-3-319-04132-2_13

Vancouver

Elsman M, Schack-Nielsen A. Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. In Flatt M, Guo H-F, editors, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Springer. 2014. p. 184-199. (Lecture notes in computer science, Vol. 8324). https://doi.org/10.1007/978-3-319-04132-2_13

Author

Elsman, Martin ; Schack-Nielsen, Anders. / Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. editor / Matthew Flatt ; Hai-Feng Guo. Springer, 2014. pp. 184-199 (Lecture notes in computer science, Vol. 8324).

Bibtex

@inproceedings{eb4b1255047446c9a23872d5ab516684,
title = "Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces",
abstract = "We present the concept of typelets, a specification technique fordynamic graphical user interfaces (GUIs) based on types. Thetechnique is implemented in a dialect of ML, called MLFi (MLFi isa derivative of OCaml, extended by LexiFi with extensionstargeted at the financial industry), which supports dynamictypes, for migrating type-level information into the objectlevel, so-called type properties, allowing easy specification of,for instance, GUI control attributes, and type paths, whichallows for type-safe access to type components at runtime.Through the use of Hindley-Milner style type-inference in MLFi,the features allow for type-level programming of userinterfaces. The dynamic behavior of typelets are specified usingdeclarative rules. The technique extends the flat spreadsheetprogramming model with higher-order rule composition techniques,extensive reuse, and type safety. A layout specification languageallows layout programmers (e.g., end-users) to reorganize layoutsin a type-safe way without being allowed to alter the rulemachinery. The resulting framework is highly flexible and allowsfor creating highly maintainable modules. It is used with successin the context of SimCorp's high-end performance-criticalfinancial asset-management system with screens containing severalhundreds of GUI controls located in group-boxes, sub-tabs, andmenu structures and with very complex dependency structuresdefined using declarative rule composition.",
keywords = "Faculty of Science, OCaml, Functional programming, User interfaces",
author = "Martin Elsman and Anders Schack-Nielsen",
year = "2014",
doi = "10.1007/978-3-319-04132-2_13",
language = "English",
isbn = "978-3-319-04131-5",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "184--199",
editor = "Matthew Flatt and Hai-Feng Guo",
booktitle = "Practical Aspects of Declarative Languages",
address = "Switzerland",
note = "null ; Conference date: 20-01-2014 Through 21-01-2014",

}

RIS

TY - GEN

T1 - Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

AU - Elsman, Martin

AU - Schack-Nielsen, Anders

N1 - Conference code: 16

PY - 2014

Y1 - 2014

N2 - We present the concept of typelets, a specification technique fordynamic graphical user interfaces (GUIs) based on types. Thetechnique is implemented in a dialect of ML, called MLFi (MLFi isa derivative of OCaml, extended by LexiFi with extensionstargeted at the financial industry), which supports dynamictypes, for migrating type-level information into the objectlevel, so-called type properties, allowing easy specification of,for instance, GUI control attributes, and type paths, whichallows for type-safe access to type components at runtime.Through the use of Hindley-Milner style type-inference in MLFi,the features allow for type-level programming of userinterfaces. The dynamic behavior of typelets are specified usingdeclarative rules. The technique extends the flat spreadsheetprogramming model with higher-order rule composition techniques,extensive reuse, and type safety. A layout specification languageallows layout programmers (e.g., end-users) to reorganize layoutsin a type-safe way without being allowed to alter the rulemachinery. The resulting framework is highly flexible and allowsfor creating highly maintainable modules. It is used with successin the context of SimCorp's high-end performance-criticalfinancial asset-management system with screens containing severalhundreds of GUI controls located in group-boxes, sub-tabs, andmenu structures and with very complex dependency structuresdefined using declarative rule composition.

AB - We present the concept of typelets, a specification technique fordynamic graphical user interfaces (GUIs) based on types. Thetechnique is implemented in a dialect of ML, called MLFi (MLFi isa derivative of OCaml, extended by LexiFi with extensionstargeted at the financial industry), which supports dynamictypes, for migrating type-level information into the objectlevel, so-called type properties, allowing easy specification of,for instance, GUI control attributes, and type paths, whichallows for type-safe access to type components at runtime.Through the use of Hindley-Milner style type-inference in MLFi,the features allow for type-level programming of userinterfaces. The dynamic behavior of typelets are specified usingdeclarative rules. The technique extends the flat spreadsheetprogramming model with higher-order rule composition techniques,extensive reuse, and type safety. A layout specification languageallows layout programmers (e.g., end-users) to reorganize layoutsin a type-safe way without being allowed to alter the rulemachinery. The resulting framework is highly flexible and allowsfor creating highly maintainable modules. It is used with successin the context of SimCorp's high-end performance-criticalfinancial asset-management system with screens containing severalhundreds of GUI controls located in group-boxes, sub-tabs, andmenu structures and with very complex dependency structuresdefined using declarative rule composition.

KW - Faculty of Science

KW - OCaml

KW - Functional programming

KW - User interfaces

U2 - 10.1007/978-3-319-04132-2_13

DO - 10.1007/978-3-319-04132-2_13

M3 - Article in proceedings

SN - 978-3-319-04131-5

T3 - Lecture notes in computer science

SP - 184

EP - 199

BT - Practical Aspects of Declarative Languages

A2 - Flatt, Matthew

A2 - Guo, Hai-Feng

PB - Springer

Y2 - 20 January 2014 through 21 January 2014

ER -

ID: 168854932