4959 search results - page 121 / 992 » Imperative Functional Programming |
104
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
PADL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
AGP
1998
IEEE
15 years 3 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
SPE
2002
14 years 10 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
IROS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...