equal
deleted
inserted
replaced
366 title = {The Semantics of Programming Languages: An Elementary |
366 title = {The Semantics of Programming Languages: An Elementary |
367 Introduction Using Structural Operational Semantics}, |
367 Introduction Using Structural Operational Semantics}, |
368 publisher = {Wiley}, |
368 publisher = {Wiley}, |
369 year = 1990} |
369 year = 1990} |
370 |
370 |
|
371 @book{HopcroftUllman,author={John E. Hopcroft and Jeffrey D. Ullman}, |
|
372 title={Introduction to Automata Theory, Languages, and Computation.}, |
|
373 publisher={Addison-Wesley},year=1979} |
|
374 |
371 @Article{haskell-report, |
375 @Article{haskell-report, |
372 author = {Paul Hudak and Simon Peyton Jones and Philip Wadler}, |
376 author = {Paul Hudak and Simon Peyton Jones and Philip Wadler}, |
373 title = {Report on the Programming Language {Haskell}: A |
377 title = {Report on the Programming Language {Haskell}: A |
374 Non-strict, Purely Functional Language}, |
378 Non-strict, Purely Functional Language}, |
375 journal = SIGPLAN, |
379 journal = SIGPLAN, |