Jan Martin Jansen
Jan Martin Jansen
Associate Professor Operational ICT, Netherlands Defence Academy
mindef.nl üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Efficient Interpretation by Transforming Data Types and Patterns to Functions
JM Jansen, P Koopman, R Plasmeijer
Trends in Functional Programming Volume 7, 73, 2005
462005
Incidone: A task-oriented incident coordination tool
B Lijnse, JM Jansen, R Plasmeijer
Proceedings of the 9th International Conference on Information Systems for …, 2012
292012
Towards dynamic workflow support for crisis management.
JM Jansen, B Lijnse, R Plasmeijer
ISCRAM, 2010
29*2010
Declarative Ajax and client side evaluation of workflows using iTasks
R Plasmeijer, JM Jansen, P Koopman, P Achten
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
222008
Programming in the λ-Calculus: From Church to Scott and Back
JM Jansen
The Beauty of Functional Code, 168-180, 2013
202013
Implementing a non-strict purely functional language in JavaScript
L Domoszlai, E Bruël, JM Jansen
Acta Universitatis Sapientiae 3, 76-98, 2011
192011
Capturing the netherlands coast guard's sar workflow with itasks
B Lijnse, JM Jansen, R Nanne, R Plasmeijer
Lisbon: National Civil Engineering Laboratory, 2011
192011
Embedding a web-based workflow management system in a functional language
JM Jansen, R Plasmeijer, P Koopman, P Achten
Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010
152010
iEditors: extending iTask with interactive plug-ins
JM Jansen, R Plasmeijer, P Koopman
Symposium on Implementation and Application of Functional Languages, 192-211, 2008
122008
From interpretation to compilation
JM Jansen, P Koopman, R Plasmeijer
Central European Functional Programming School, 286-301, 2007
72007
Church encoding of data types considered harmful for implementations
PWM Koopman, R Plasmeijer, JM Jansen
Tobin-Hochstadt, S.(ed.), IFL'14: Proceedings 26th International Workshop on …, 2014
62014
Functional pearl: Comprehensive encoding of data types and algorithms in the lambda-calculus
JM Jansen, R Plasmeijer, P Koopman
62010
Functional web applications: implementation and use of client side interpreters
JM Jansen
[Sl: sn], 2010
52010
Web based dynamic workflow systems for C2 of military operations
JM Jansen, T Grant, B Lijnse, R Plasmeijer
[Sl: sn], 2010
52010
Church encoding of data types considered harmful for implementations: functional pearl
P Koopman, R Plasmeijer, JM Jansen
Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014
32014
Implementing a non-strict purely Functional Language in JavaScript
E Bruël, JM Jansen
Implementation of Functional Languages 1, 2010
32010
Web based dynamic workflow systems and applications in the military domain
JM Jansen, P Koopman, R Plasmeijer
Netherlands Annual Review of Military Studies-Sensors, Weapons, C4I and …, 2008
32008
Dynamic resource and task management
JM Jansen, F Bolderheij
NL ARMS Netherlands Annual Review of Military Studies 2018, 91-105, 2018
22018
A Portable VM-based implementation Platform for non-strict Functional Programming Languages
JM Jansen, J van Groningen
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
22016
Using a functional language as embedding modeling language for web-based workflow applications
R Plasmeijer, JM Jansen, P Koopman, P Achten
Tenth symposium on trends in functional programming, 2009
22009
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20