Sciweavers

10899 search results - page 212 / 2180
» The GP Programming System
Sort
View
135
Voted
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
15 years 9 months ago
An Interactive Software-Agent Smoking Cessation Program
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
Todd Shimoda
133
Voted
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 7 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
114
Voted
JFP
2007
112views more  JFP 2007»
15 years 3 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
119
Voted
ENTCS
2000
60views more  ENTCS 2000»
15 years 3 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
211
Voted
TSE
2002
83views more  TSE 2002»
15 years 3 months ago
A Testbed for Configuration Management Policy Programming
André van der Hoek, Antonio Carzaniga, Denn...