@Inproceedings{Gly-Stu-Sul-Son_ICFP02,
  author    = {Kevin Glynn and 
		Peter J. Stuckey and 
		Martin Sulzmann and
		Harald S{\o}ndergaard},
  title     = {Exception Analysis for Non-Strict Languages},
  booktitle = {Proceedings of the 2002 ACM SIGPLAN International Conference on
        	Functional Programming},
  pages     = {98--109},
  publisher = {ACM Press},
  year      = {2002},
  doi       = {10.1145/581478.581488},
  abstract  = {In this paper we present the first exception analysis
		for a non-strict language. We augment a simply-typed 
		functional language with exceptions, and show that we 
		can define a type-based inference system to detect 
		uncaught exceptions. We have implemented this exception
		analysis in the GHC compiler for Haskell, which has been
		recently extended with exceptions. We give empirical 
		evidence that the analysis is practical.},
  keywords  = {Exception analysis, Functional programming},
}

{"_id":"F9agck9enD98Z2BDG","bibbaseid":"glynn-stuckey-sulzmann-sndergaard-exceptionanalysisfornonstrictlanguages-2002","author_short":["Glynn, K.","Stuckey, P. J.","Sulzmann, M.","Søndergaard, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kevin"],"propositions":[],"lastnames":["Glynn"],"suffixes":[]},{"firstnames":["Peter","J."],"propositions":[],"lastnames":["Stuckey"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Sulzmann"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]}],"title":"Exception Analysis for Non-Strict Languages","booktitle":"Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming","pages":"98–109","publisher":"ACM Press","year":"2002","doi":"10.1145/581478.581488","abstract":"In this paper we present the first exception analysis for a non-strict language. We augment a simply-typed functional language with exceptions, and show that we can define a type-based inference system to detect uncaught exceptions. We have implemented this exception analysis in the GHC compiler for Haskell, which has been recently extended with exceptions. We give empirical evidence that the analysis is practical.","keywords":"Exception analysis, Functional programming","bibtex":"@Inproceedings{Gly-Stu-Sul-Son_ICFP02,\n author = {Kevin Glynn and \n\t\tPeter J. Stuckey and \n\t\tMartin Sulzmann and\n\t\tHarald S{\\o}ndergaard},\n title = {Exception Analysis for Non-Strict Languages},\n booktitle = {Proceedings of the 2002 ACM SIGPLAN International Conference on\n \tFunctional Programming},\n pages = {98--109},\n publisher = {ACM Press},\n year = {2002},\n doi = {10.1145/581478.581488},\n abstract = {In this paper we present the first exception analysis\n\t\tfor a non-strict language. We augment a simply-typed \n\t\tfunctional language with exceptions, and show that we \n\t\tcan define a type-based inference system to detect \n\t\tuncaught exceptions. We have implemented this exception\n\t\tanalysis in the GHC compiler for Haskell, which has been\n\t\trecently extended with exceptions. We give empirical \n\t\tevidence that the analysis is practical.},\n keywords = {Exception analysis, Functional programming},\n}\n\n","author_short":["Glynn, K.","Stuckey, P. J.","Sulzmann, M.","Søndergaard, H."],"key":"Gly-Stu-Sul-Son_ICFP02","id":"Gly-Stu-Sul-Son_ICFP02","bibbaseid":"glynn-stuckey-sulzmann-sndergaard-exceptionanalysisfornonstrictlanguages-2002","role":"author","urls":{},"keyword":["Exception analysis","Functional programming"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.eng.unimelb.edu.au/harald/bibbase.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["exception analysis","functional programming"],"search_terms":["exception","analysis","non","strict","languages","glynn","stuckey","sulzmann","søndergaard"],"title":"Exception Analysis for Non-Strict Languages","year":2002}