Entry Sanchez-Calle:1991:FRP from sigcse1990.bib
Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Sanchez-Calle:1991:FRP,
author = "Angel S{\'a}nchez-Calle and J. Angel
Vel{\'a}zquez-Iturbide",
title = "Fun, rigour and pragmatism in functional programming",
journal = j-SIGCSE,
volume = "23",
number = "3",
pages = "11--16",
month = sep,
year = "1991",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/126459.126464",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:16 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "A course on functional programming using Hope is
presented. It describes the basic principles of
functional programming, the syntax and semantics of
Hope, and some techniques for the analysis and design
of programs. A main feature of the course is the
integration in a natural way of formal methods and
reusability with programming.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- basic,
22(2)55,
22(4)37,
24(1)72,
24(1)76,
24(1)134,
24(1)197,
24(1)286,
24(2)55,
24(3)45,
24(3)60,
26(1)26,
26(1)106,
26(1)188,
26(1)290,
26(1)329,
26(3)56,
27(1)6,
27(1)66,
27(1)76,
27(1)191,
27(1)223,
27(1)248,
27(2)49,
28(2)49,
28(3)2,
28(z)232,
29(1)1,
29(1)229,
29(2)35,
29(3)24,
29(3)27,
29(3)130,
29(4)58,
30(1)25,
30(1)97,
30(1)382,
30(3)77,
30(3)139,
30(3)162,
31(1)22,
31(1)48,
31(1)68,
31(1)92,
31(1)127,
31(1)160,
31(3)40,
31(3)79,
31(3)84,
31(3)187,
31(3)200,
31(3)211
- feature,
22(2)55,
22(2)59,
22(4)49,
23(2)9,
24(1)57,
24(2)55,
25(2)59,
25(3)45,
26(1)6,
26(1)46,
26(1)169,
26(1)193,
26(1)203,
26(1)300,
26(2)9,
27(1)126,
27(1)218,
27(2)25,
28(1)160,
29(1)53,
29(1)96,
29(1)126,
29(1)164,
29(1)287,
29(1)340,
29(1)345,
29(2)7,
29(3)24,
29(3)40,
29(3)133,
30(1)1,
30(1)10,
30(1)97,
30(1)176,
30(1)194,
30(1)222,
30(1)247,
30(1)252,
30(1)277,
30(1)302,
30(1)370,
30(3)77,
30(3)94,
30(3)130,
30(3)171,
30(3)280,
30(3)310,
31(1)63,
31(1)136,
31(1)271,
31(1)286,
31(1)301,
31(3)40,
31(3)68,
31(3)79,
31(3)196,
31(3)208
- formal,
22(4)37,
23(1)162,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)155,
28(1)160,
28(1)266,
28(1)271,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- fun,
22(1)63,
26(1)26,
26(1)213,
28(1)160,
30(1)312,
31(1)170
- functional,
22(1)63,
22(3)25,
23(4)23,
23(4)31,
24(1)147,
24(1)207,
24(2)20,
27(1)223,
28(1)47,
28(1)112,
28(1)160,
28(1)343,
28(z)36,
28(z)234,
29(1)35,
30(1)378,
30(2)28
- hope,
23(2)39,
25(1)78,
27(2)49,
28(1)117,
28(4)3,
29(1)63,
29(1)96,
29(3)114,
30(3)257,
30(3)275,
31(1)146,
31(1)247,
31(3)207
- integration,
24(1)281,
24(4)35,
25(1)78,
25(2)29,
26(1)6,
26(1)76,
26(1)198,
27(1)126,
27(1)186,
27(1)209,
27(1)312,
27(1)364,
28(1)155,
28(1)237,
29(1)360,
29(3)21,
29(3)51,
29(3)65,
30(1)121,
30(1)365,
30(3)153,
30(3)311,
31(1)37,
31(1)160,
31(1)296,
31(1)345,
31(4)10,
31(4)13,
31(4)79,
31(4)121
- main,
24(1)286,
24(2)7,
26(1)41,
26(1)193,
26(1)324,
26(1)344,
26(4)17,
27(1)317,
27(1)331,
28(1)112,
28(1)204,
28(1)353,
28(2)21,
28(3)9,
29(1)77,
29(1)330,
29(2)46,
30(1)207,
30(1)252,
30(2)28,
30(2)43,
30(2)64,
30(3)32,
31(1)53,
31(1)63,
31(1)174,
31(1)237,
31(2)42,
31(3)155,
31(3)193,
31(4)66
- natural,
24(1)147,
24(1)202,
24(2)2,
24(4)27,
25(3)26,
26(1)281,
26(4)29,
27(1)209,
27(2)49,
27(4)9,
28(3)5,
28(z)11,
29(3)27,
29(4)57,
30(1)350,
30(4)46,
31(1)141,
31(3)147,
31(4)50
- principle,
23(2)21,
24(1)46,
24(1)76,
24(1)142,
24(1)207,
24(2)29,
24(2)35,
24(4)52,
26(1)26,
26(1)106,
26(4)17,
26(4)29,
26(4)59,
27(1)66,
27(1)126,
27(1)173,
27(1)307,
27(1)331,
27(1)340,
27(1)364,
27(2)49,
27(3)53,
27(4)9,
28(1)112,
28(1)117,
28(1)160,
28(1)190,
28(1)232,
28(1)242,
28(1)319,
28(1)353,
28(3)51,
28(4)55,
29(1)1,
29(1)229,
29(1)360,
29(2)39,
29(3)27,
29(4)58,
30(1)68,
30(1)252,
30(1)322,
30(1)370,
30(3)105,
30(3)185,
30(3)239,
31(1)331,
31(1)367,
31(2)78,
31(2)86,
31(3)5,
31(3)139,
31(3)198,
31(4)32,
31(4)35
- reusability,
27(1)322,
28(1)217,
30(1)336,
31(1)301
- semantic,
23(1)162,
23(1)169,
23(1)178,
23(2)24,
24(1)207,
26(1)300,
26(4)29,
27(1)102,
27(1)228,
27(1)307,
29(1)253,
31(1)331,
31(3)155
- syntax,
23(4)51,
24(3)14,
24(4)49,
26(1)56,
26(1)300,
26(4)29,
27(1)6,
27(1)168,
28(1)73,
28(4)45,
29(1)345,
30(1)237,
30(1)383,
31(3)155
- way,
22(2)42,
22(4)37,
23(3)31,
23(3)36,
24(1)92,
24(1)173,
24(1)240,
24(1)268,
24(1)272,
24(1)299,
24(1)304,
24(3)1,
24(4)27,
25(2)59,
25(3)58,
26(1)169,
26(1)213,
26(4)17,
27(1)1,
27(1)199,
27(1)223,
27(1)248,
27(1)263,
27(1)273,
27(1)287,
27(1)307,
27(2)49,
27(3)21,
27(3)47,
27(4)13,
27(4)27,
28(1)47,
28(1)185,
28(1)295,
28(1)358,
28(4)3,
29(1)116,
29(1)174,
29(1)184,
29(1)238,
29(1)272,
29(1)306,
29(1)330,
29(3)57,
29(3)117,
29(4)30,
30(1)20,
30(1)107,
30(1)121,
30(1)126,
30(1)207,
30(1)242,
30(1)312,
30(1)331,
30(1)336,
30(1)350,
30(1)378,
30(1)382,
30(3)41,
30(3)122,
30(3)148,
30(3)206,
30(3)275,
30(4)61,
31(1)122,
31(1)127,
31(1)198,
31(1)203,
31(1)296,
31(2)60,
31(2)73,
31(3)1,
31(3)33,
31(3)119,
31(3)127,
31(3)147,
31(3)167,
31(3)171,
31(3)194,
31(4)13,
31(4)32,
31(4)79