Christopher League
Orcid: 0000-0002-1092-8641
According to our database1,
Christopher League
authored at least 12 papers
between 1997 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
0
1
2
3
1
1
1
2
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2007
Proceedings of the 2007 Data Compression Conference (DCC 2007), 2007
2006
Sci. Comput. Program., 2006
2005
Proceedings of the Construction and Analysis of Safe, 2005
2003
Proceedings of the Compiler Construction, 12th International Conference, 2003
2002
ACM Trans. Program. Lang. Syst., 2002
2000
ACM Trans. Softw. Eng. Methodol., 2000
1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
1998
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
1997
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995).
SIGACT News, 1997