Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, 2007
Abstract. Program slicing is a well understood concept in the imperative paradigm, but so far the... more Abstract. Program slicing is a well understood concept in the imperative paradigm, but so far there has been little work on program slicing in the context of functional languages. This paper describes a program slicing technique for Haskell that takes tuple-returning functions apart (called splitting); the converse of this is also described (called merging). The slicer is implemented as a transformation for the Haskell Refactorer, HaRe. Splitting functions is a useful transformation to allow the programmer to extract a particular subset of the ...
This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in... more This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in time for the break between the years���if you are bored by all the free time you might suddenly have, why not sit down and study what other Haskellers have been up to during the past six months?
ACM Transactions on Computer-Human Interaction, 1998
We propose an approach to creating shared mixed realities based on the construction of transparen... more We propose an approach to creating shared mixed realities based on the construction of transparent boundaries between real and virtual spaces. First, we introduce a taxonomy that classifies current approaches to shared spaces according to the three dimensions of transportation, artificiality, and spatiality. Second, we discuss our experience of staging a poetry performance simultaneously within real and virtual theaters. This demonstrates the complexities involved in establishing social interaction between real and virtual spaces and motivates the development of a systematic approach to mixing realities. Third, we introduce and demonstrate the technique of mixed-reality boundaries as a way of joining real and virtual spaces together in order to address some of these problems.
Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, 2007
Abstract. Program slicing is a well understood concept in the imperative paradigm, but so far the... more Abstract. Program slicing is a well understood concept in the imperative paradigm, but so far there has been little work on program slicing in the context of functional languages. This paper describes a program slicing technique for Haskell that takes tuple-returning functions apart (called splitting); the converse of this is also described (called merging). The slicer is implemented as a transformation for the Haskell Refactorer, HaRe. Splitting functions is a useful transformation to allow the programmer to extract a particular subset of the ...
This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in... more This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in time for the break between the years���if you are bored by all the free time you might suddenly have, why not sit down and study what other Haskellers have been up to during the past six months?
ACM Transactions on Computer-Human Interaction, 1998
We propose an approach to creating shared mixed realities based on the construction of transparen... more We propose an approach to creating shared mixed realities based on the construction of transparent boundaries between real and virtual spaces. First, we introduce a taxonomy that classifies current approaches to shared spaces according to the three dimensions of transportation, artificiality, and spatiality. Second, we discuss our experience of staging a poetry performance simultaneously within real and virtual theaters. This demonstrates the complexities involved in establishing social interaction between real and virtual spaces and motivates the development of a systematic approach to mixing realities. Third, we introduce and demonstrate the technique of mixed-reality boundaries as a way of joining real and virtual spaces together in order to address some of these problems.
Uploads