Sciweavers

1185 search results - page 92 / 237
» Implementing Functional Languages: a tutorial
Sort
View
NAACL
2010
14 years 7 months ago
Testing a Grammar Customization System with Sahaptin
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
Scott Drellishak
PADL
2007
Springer
15 years 4 months ago
Rewriting Haskell Strings
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
Duncan Coutts, Don Stewart, Roman Leshchinskiy
ICDCSW
2002
IEEE
15 years 2 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
ICFP
2009
ACM
15 years 10 months ago
Biorthogonality, step-indexing and compiler correctness
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
Nick Benton, Chung-Kil Hur
HCI
2007
14 years 11 months ago
Non-commercial Object-Base Scene Description
This paper investigates methods of describing two-dimensional and three-dimensional scenes using eXtensible Mark-up Language (XML). It also investigates the initial development of ...
Stephen R. Gulliver, Gheorghita Ghinea, K. Kaur