Web application/service is now omnipresent but its security risks, such as malware and
vulnerabilities, are indeed underestimated. In this paper, we propose a protective, extensible …

A data communication channel between a client and a service is preserved through a failure
of the server by maintaining a request log and an inflight request queue in a protected …

요 약 이 논문은 Yapures (Yet another PureScript) 라고 하는 JavaScript 프레임워크를
소개한다. Yapures 를 사용하면 PureScript 를 사용하여 더 간편한 방식으로 타입 안전성을 …

Due to the loosely typed and interpreted features of JavaScript, the attention of type errors is
commonly not paid enough when writing code. Our previous work called Yapures provides a …

Today's software often outlives the hardware for which it was initially designed. Autonomous
systems in particular are deployed into scenarios where resources change and sensors …

The general goal of this book, Practical Concurrent Haskell: With Big Data Applications, is to
give professionals, academics, and students comprehensive tips, hands-on examples, and …

This paper introduces a framework named Yapures (Yet another PureScript) that provides a
more convenient way to use PureScript for generating JavaScript code with type safety. The …