A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Functional pearl: two can keep a secret, if one of them uses Haskell
2015
SIGPLAN notices
Preserved Fulltext
Title inspired by Benjamin Franklin's quote "Three can keep a secret, if two of them are dead" † Work done while visiting Stanford University 1 Provided by the Hackage package http-wget The ellipsis (. ...
The code fetches a list of common English passwords, which constitutes a legit action for function common pwds (first call to wget ). ...
(loopOn False lbool n) > > return ()This function spawns two MAC L-threads; one of them is going to loop infinitely, while the other one leaks the secret into Bob's server. ...
doi:10.1145/2858949.2784756
fatcat:jrh76ruppjaxlacidzxlhslrtm
Functional pearl: two can keep a secret, if one of them uses Haskell
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Title inspired by Benjamin Franklin's quote "Three can keep a secret, if two of them are dead" † Work done while visiting Stanford University 1 Provided by the Hackage package http-wget The ellipsis (. ...
The code fetches a list of common English passwords, which constitutes a legit action for function common pwds (first call to wget ). ...
(loopOn False lbool n) > > return ()This function spawns two MAC L-threads; one of them is going to loop infinitely, while the other one leaks the secret into Bob's server. ...
doi:10.1145/2784731.2784756
dblp:conf/icfp/Russo15
fatcat:p7nqnx2kovezjniygandypsi6q
Batcher's odd-even merging network revealed
2018
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Though simple in appearance they have a surprisingly rich structure. In this pearl we delve a little into their theory. ...
The visual presentation of such hard-wired networks makes processes easy to conceptualize without the overhead of programming syntax or the semantic complications of concurrency. ...
Finally, we would like to thank the students of the Research Seminar "Software Science" for suggesting improvements to the diagrams and the avoidance of detours. ...
doi:10.1017/s0956796818000163
fatcat:2pks3pepjnd2tl47cswpxaviey
Lightweight monadic programming in ML
2011
Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Many useful programming constructions can be expressed as monads. ...
Developers write programs using monadic values of type m τ as if they were of type τ , and our algorithm inserts the necessary binds, units, and monad-to-monad morphisms so that the program type checks ...
Acknowledgements The authors would like to thank Gavin Bierman and Matt McCutchen for their early contributions to this work, and to Gavin for comments on this draft. ...
doi:10.1145/2034773.2034778
dblp:conf/icfp/SwamyGLH11
fatcat:why65xdo4jggnbr2t3ytx7zvsu
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We discuss two applications using the functional logic programming language Curry. ...
That is, the effects of interest are totality and partiality. We then observe that the general scheme to model these two effects can be generalised to capture a wide range of effects. ...
The advantage of focussing on the total subset of Haskell is that they can translate functions one-to-one to Coq. ...
arXiv:2006.01531v1
fatcat:s7nl4qdd5veo7fv64cpg3buvwm
Flow-Limited Authorization
2015
2015 IEEE 28th Computer Security Foundations Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It is an approach to information flow control in that it can be used to reason about whether a flow of information is secure. ...
Flame uses type-level constraints and monadic effects to statically enforce flow-limited authorization for Haskell programs in a modular way. ...
Haskell is a particularly attractive language for our purposes. It is a pure functional language, keeping our implementation close to the syntax and abstractions of FLAC. ...
doi:10.1109/csf.2015.42
dblp:conf/csfw/ArdenLM15
fatcat:sxrbaf5vyffyfdhafjvqnqmyry
Lightweight monadic programming in ML
2011
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Many useful programming constructions can be expressed as monads. ...
Developers write programs using monadic values of type m τ as if they were of type τ , and our algorithm inserts the necessary binds, units, and monad-to-monad morphisms so that the program type checks ...
Acknowledgements The authors would like to thank Gavin Bierman and Matt McCutchen for their early contributions to this work, and to Gavin for comments on this draft. ...
doi:10.1145/2034574.2034778
fatcat:unn6y5ztczftncqtevuhqhqdn4
Page 4 of Flag of Our Union Vol. 15, Issue 52
[page]
1860
Flag of Our Union
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
asked the man. “ To sell them and buy pearls for a necklace,” was the answer. ...
Before using half a bottle I felt greatly relieved, and by the time I had used two bottles and a half I was entirely well, and still remain so. ...
Page 3 of Maine Farmer Vol. 55, Issue 20
[page]
1887
Maine Farmer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
U the Extract to the extent of one bottle, and was able to appear on the street as well as ever in two days.
Mr.JACOBS. HASKELL, No. 24} Brown St. ...
I have got one iittk brother, his name is Irwin; he is five years old am . I can yoke them and driv
There, looming black | them as well as papa.
hly cleanse the blood, which is the f th, by using Dr. ...
Facilitator control as automatic behavior: A verbal behavior analysis
1993
The Analysis of Verbal Behavior
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper analyzes facilitator behavior as an instance of automatic verbal behavior, from the perspective of Skinner's (1957) book Verbal Behavior. ...
Several studies of facilitated communication have demonstrated that the facilitators were controlling and directing the typing, although they appeared to be unaware of doing so. ...
A
mother told us about the adjustments she had
made knowing that she can have no secrets
from her teenage daughter. ...
doi:10.1007/bf03392890
pmid:22477083
pmcid:PMC2748555
fatcat:n2eyek7sfrgxdnqa7t7jvp4zim
Page 7 of Maine Farmer Vol. 68, Issue 12
[page]
1900
Maine Farmer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Always put new tin baking dishes—Washington pie plates, etc., into the oven and give them a good baking before using them and cake will not stick to them as it will with- out Thisis the secret whyone can ...
One by one he counted them out laying them on the table; then he stood them in a row; after this he put them back into the box. ...
Page 3 of Maine Farmer Vol. 36, Issue 1
[page]
1867
Maine Farmer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
J penny me Ada ye subscriber has been duly appointed Administratrix on the estate of
ALBERT HASKELL, late of Chine in the County of Kennebec, deccased, intestate,
yment to ELIZA BETH HASKELL.
hereby given ...
I shall go and ask Miss Bellamy what is the best thing for rheu- matism at my time of life, and see if she can exchange my aay to a respectable, well-conducted cat.’’ ...
A Theory of Genre: Romance, Realism, and Moral Reality
1981
American Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For example, when Drowne promises Captain Hunnewell to keep the secret of his figurehead, Hawthorne continues: Captain Hunnewell then took Drowne by the button, and communicated his wishes in so low a ...
The usefulness of this approach can best be illustrated by contrasting it to the usual manner in which historians of American literature have discussed these two genres. ...
doi:10.2307/2712524
fatcat:cww3mgmozfeunkyz6mthr4zfm4
Page 3 of Maine Farmer Vol. 55, Issue 41
[page]
1887
Maine Farmer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
I have got a colt two years old, her name is Nellie, she is away to pasture, and I have got a pair of steers one year old, last win- ter l'could yoke them and team them all round, their names are Star ...
If each keep ten cows the difference amounts to 500 lbs. of putter in a year, the cows costing in each case practically the same for keep. ...
Page 2 of Maine Farmer Vol. 35, Issue 1
[page]
1866
Maine Farmer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
. $0 00@0 00 ; Pea $3 50.3 75; Blue | which can be removed only by the use of a sure remedy. The [eke am them. Apply personally, or by letter to C. W. FORSUSH, | and firm name of B. ...
You can in a few days catch all fur bearing animals (Minks,
Otter, a range where you trap by using mg artificial scent-
ed bait. md $1 and receive by return mail this great secret from
an old hunter. ...
« Previous
Showing results 1 — 15 out of 184 results