海量图书期刊资源,随时随地畅享阅读乐趣
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Comprehending monadsWadler, Philip · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Abstracting controlDanvy, Olivier; Filinski, Andrzej · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Unify and conquerBaker, Henry G. · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Speculative computation in multilispOsborne, Randy B. · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Computing with coercionsBreazu-Tannen, V.; Gunter, C. A.; Scedrov, A. · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Trap architectures for Lisp systemsJohnson, Douglas · 1990
[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Efficient method dispatch in PCLKiczales, Gregor; Rodriguez, Luis · 1990
Assumption Classes in Natural DeductionDaniel Leivant · 1979
Descriptive characterizations of computational complexityDaniel Leivant · 1989
Propositional Dynamic Logic with Program QuantifiersDaniel Leivant · 2008
Markov's Rule revisitedDaniel Leivant · Archive for Mathematical Logic · 1990
Inductive Completeness of Logics of ProgramsDaniel Leivant · 2009
PREFACEDaniel Leivant · 1998
Inductive definitions over finite structuresDaniel Leivant · 1990